Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 29, 2024

• aarch64-cpu: Bump to upstream v10.0.0

  Show description for e235cb3
  bitboom

  committed
  e235cb3

  Copy full SHA for e235cb3

• mc: Fix errors related to the reference count

  Show description for d4e554b
  zpzigi754

  committed
  d4e554b

  Copy full SHA for d4e554b

• Add a reference count in array-based granule status table

  Show description for a4e68a9
  zpzigi754

  committed
  a4e68a9

  Copy full SHA for a4e68a9

• Remove the redundant check in realm create

  Show description for 74b2a56
  zpzigi754

  committed
  74b2a56

  Copy full SHA for 74b2a56

Commits on Oct 22, 2024

• fix the hard-coded interface name

  Show description for 68cfd08
  jinbpark

  committed
  68cfd08

  Copy full SHA for 68cfd08

Commits on Oct 21, 2024

• Move platform-dependent values from rmm/ to plat/

  Show description for a12a20c
  bitboom

  committed
  a12a20c

  Copy full SHA for a12a20c

Commits on Oct 16, 2024

• doc: Update the guide on deploying dev site

  Show description for 9338ccb
  zpzigi754

  committed
  9338ccb

  Copy full SHA for 9338ccb

Commits on Oct 14, 2024

• add rec.emulatable_abort to keep track of the last emulatable abort

  Show description for 2dd75a1
  jinbpark

  committed
  2dd75a1

  Copy full SHA for 2dd75a1

• skip acs test cases incompatible with the correct mmio handling

  Show description for a40aa2c
  jinbpark

  committed
  a40aa2c

  Copy full SHA for a40aa2c

• clear ISV bit in case of non-emulatable faults

  Show description for a73c28b
  jinbpark

  committed
  a73c28b

  Copy full SHA for a73c28b

• doc: Fix a typo

  Show description for 3d55085
  zpzigi754

  committed
  3d55085

  Copy full SHA for 3d55085

• doc: Update the model checking document

  Show description for 2291004
  zpzigi754

  committed
  2291004

  Copy full SHA for 2291004

• rmi: Fix to unlock the granule only in test mode

  Show description for 2eea289
  bitboom

  committed
  2eea289

  Copy full SHA for 2eea289

• test_utils: Minor refactoring

  Show description for 1fbda18
  bitboom

  committed
  1fbda18

  Copy full SHA for 1fbda18

• rmi: Fix overflow in RMI_RTT_SET_RIPAS

  Show description for 4de2576
  bitboom

  committed
  4de2576

  Copy full SHA for 4de2576

• miri: Add temporary workaround to prevent memory leak

  Show description for 0a6448b
  bitboom

  committed
  0a6448b

  Copy full SHA for 0a6448b

• miri: Add RMI_RTT_SET_RIPAS TC

  Show description for 22c595b
  bitboom

  committed
  22c595b

  Copy full SHA for 22c595b

• miri: Add RMI_RTT_FOLD TC

  Show description for ab55ae0
  bitboom

  committed
  ab55ae0

  Copy full SHA for ab55ae0

• miri: Add RMI_REC_ENTER, RMI_PSCI_COMPLETE TC

  Show description for 41eb6bb
  bitboom

  committed
  41eb6bb

  Copy full SHA for 41eb6bb

• miri: Add RMI_DATA_* TC

  Show description for 0137d73
  bitboom

  committed
  0137d73

  Copy full SHA for 0137d73

• miri: Add RMI_RTT_(MAP, UNMAP)_UNPROTECTED TC

  Show description for b53d833
  bitboom

  committed
  b53d833

  Copy full SHA for b53d833

• miri: Add RMI_REC_CREATE, RMI_REC_DESTROY TC

  Show description for 18a1469
  bitboom

  committed
  18a1469

  Copy full SHA for 18a1469

• test_utils: Rename granule_addr to alloc_granule

  Show description for 43d1a29
  bitboom

  committed
  43d1a29

  Copy full SHA for 43d1a29

• miri: Update RTT related TCs

  Show description for 0733283
  bitboom

  committed
  0733283

  Copy full SHA for 0733283

• spec: feedback: Ensuring realm_state validation in B4.3.15

  Show description for 8466a91
  bitboom

  committed
  8466a91

  Copy full SHA for 8466a91

• miri: Add RMI_RTT_CREATE TC

  Show description for 1ed508f
  bitboom

  committed
  1ed508f

  Copy full SHA for 1ed508f

• tool: Update crate & miri test scripts

  Show description for 57530ce
  bitboom

  committed
  57530ce

  Copy full SHA for 57530ce

• miri: Test RMI_REALM_ACTIVATE in REALM_CREATE TC

  Show description for d38ab6a
  bitboom

  committed
  d38ab6a

  Copy full SHA for d38ab6a

• test: Fix deadlock during granule management

  Show description for 6ec43a1
  bitboom

  committed
  6ec43a1

  Copy full SHA for 6ec43a1

• miri: Add RMI_REALM_CREATE TCs with memory mocking

  Show description for 8c7ddea
  bitboom

  committed
  8c7ddea

  Copy full SHA for 8c7ddea

• Fix from const to static for GRANULE_REGION

  Show description for 2604ded
  bitboom

  committed
  2604ded

  Copy full SHA for 2604ded

• miri: Add RMI_GRANULE_UNDELEGATE TC

  Show description for 13b4cb0
  bitboom

  committed
  13b4cb0

  Copy full SHA for 13b4cb0

• miri: Add RMI_GRANULE_DELEGATE TC

  Show description for 34ffc9f
  bitboom

  committed
  34ffc9f

  Copy full SHA for 34ffc9f

Commits on Oct 11, 2024

• Fix a spec violation in rec_destroy (rec_aux_state)

  Show description for a947515
  zpzigi754

  committed
  a947515

  Copy full SHA for a947515

• Fix a spec violation in rec_destroy (rec_state)

  Show description for f029aec
  zpzigi754

  committed
  f029aec

  Copy full SHA for f029aec

Pagination

Previous

Next