Commits

Branch selector

 main

User selector

bitboom

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

Commits on Oct 21, 2024

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

  Show description for a12a20c
  bitboom

  committed
  a12a20c

Commits on Oct 14, 2024

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

  Show description for 2eea289
  bitboom

  committed
  2eea289

• test_utils: Minor refactoring

  Show description for 1fbda18
  bitboom

  committed
  1fbda18

• rmi: Fix overflow in RMI_RTT_SET_RIPAS

  Show description for 4de2576
  bitboom

  committed
  4de2576

• miri: Add temporary workaround to prevent memory leak

  Show description for 0a6448b
  bitboom

  committed
  0a6448b

• miri: Add RMI_RTT_SET_RIPAS TC

  Show description for 22c595b
  bitboom

  committed
  22c595b

• miri: Add RMI_RTT_FOLD TC

  Show description for ab55ae0
  bitboom

  committed
  ab55ae0

• miri: Add RMI_REC_ENTER, RMI_PSCI_COMPLETE TC

  Show description for 41eb6bb
  bitboom

  committed
  41eb6bb

• miri: Add RMI_DATA_* TC

  Show description for 0137d73
  bitboom

  committed
  0137d73

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

  Show description for b53d833
  bitboom

  committed
  b53d833

• miri: Add RMI_REC_CREATE, RMI_REC_DESTROY TC

  Show description for 18a1469
  bitboom

  committed
  18a1469

• test_utils: Rename granule_addr to alloc_granule

  Show description for 43d1a29
  bitboom

  committed
  43d1a29

• miri: Update RTT related TCs

  Show description for 0733283
  bitboom

  committed
  0733283

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

  Show description for 8466a91
  bitboom

  committed
  8466a91

• miri: Add RMI_RTT_CREATE TC

  Show description for 1ed508f
  bitboom

  committed
  1ed508f

• tool: Update crate & miri test scripts

  Show description for 57530ce
  bitboom

  committed
  57530ce

• miri: Test RMI_REALM_ACTIVATE in REALM_CREATE TC

  Show description for d38ab6a
  bitboom

  committed
  d38ab6a

• test: Fix deadlock during granule management

  Show description for 6ec43a1
  bitboom

  committed
  6ec43a1

• miri: Add RMI_REALM_CREATE TCs with memory mocking

  Show description for 8c7ddea
  bitboom

  committed
  8c7ddea

• Fix from const to static for GRANULE_REGION

  Show description for 2604ded
  bitboom

  committed
  2604ded

• miri: Add RMI_GRANULE_UNDELEGATE TC

  Show description for 13b4cb0
  bitboom

  committed
  13b4cb0

• miri: Add RMI_GRANULE_DELEGATE TC

  Show description for 34ffc9f
  bitboom

  committed
  34ffc9f

Commits on Sep 25, 2024

• Add function to create an instance at a given address

  Show description for 18d0b88
  bitboom

  committed
  18d0b88

Commits on Aug 14, 2024

• Introduce utrace to analysis unsafe code

  Show description for 9a90b23
  bitboom

  committed
  9a90b23

Commits on Jul 2, 2024

• rmm: Fix a minor warning

  Show description for 368406a
  bitboom

  committed
  368406a

• clippy: Allow the upper-case-acronyms rule

  Show description for 48a1878
  bitboom

  committed
  48a1878

• rmm: ci: Setup the MIRI test

  Show description for f68f75c
  bitboom

  committed
  f68f75c

• rmm: Add test_utils to test rmi functionalities

  Show description for b0b468d
  bitboom

  committed
  b0b468d

Commits on Jun 26, 2024

• doc: Add Safety Enhancements of Unsafe Rust report

  Show description for 87683ee
  bitboom

  committed
  87683ee

Commits on Jun 20, 2024

• Update Cargo.lock

  Show description for ddec60c
  bitboom

  committed
  ddec60c

• armv9a: Remove remaining sys register definitions

  Show description for f85337a
  bitboom

  committed
  f85337a

Commits on Jun 13, 2024

• rmm: Avoid double copy on RMI_DATA_CREATE

  Show description for 38c5724
  bitboom

  committed
  38c5724

• Move host/mod.rs to host.rs

  Show description for 7faa3c7
  bitboom

  committed
  7faa3c7

Commits on Jun 10, 2024

• safe-abstraction: Apply to granule-locked structs

  Show description for 5dde89f
  bitboom

  committed
  5dde89f

Pagination

PreviousNext