Skip to content

Commit

Permalink
WIP All changes squashed
Browse files Browse the repository at this point in the history
An early squashed commit for all the changes made to tock that contains
CHERI changes and more.

This needs to be reworked into individual features and properly
config-ed / feature-gated, or relagated to downstream applicable only.

Changes here:

* Generic CHERI support
* Generic RV64 support
* A CHERI virt QEMU board
* Changes to grant access interface for zero-copy/dma
  (ARef/PRef/safe_buf/resettable_iterator etc)
* Some example zero copy capsules/drivers (a uart)
* Static init pattern (StaticComponant and helpers)
* A dynamic process loading capsule
* Non execute in place ("contiguous loading")

Change-Id: Ia68e0846ec856f0789ba38cb9fa77f56d55647c3
  • Loading branch information
Lawrence Esswood committed Jul 11, 2024
1 parent 44f39d7 commit bd73f64
Show file tree
Hide file tree
Showing 166 changed files with 16,123 additions and 2,755 deletions.
4 changes: 4 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ members = [
"arch/cortex-m7",
"arch/riscv",
"arch/rv32i",
"arch/cheri",
"boards/acd52832",
"boards/nano_rp2040_connect",
"boards/arty_e21",
Expand Down Expand Up @@ -37,6 +38,7 @@ members = [
"boards/teensy40",
"boards/nano33ble",
"boards/qemu_rv32_virt",
"boards/qemu_cheri_virt",
"boards/swervolf",
"boards/weact_f401ccu6/",
"capsules",
Expand Down Expand Up @@ -68,12 +70,14 @@ members = [
"chips/stm32f4xx",
"chips/swerv",
"chips/swervolf-eh1",
"chips/uarts",
"kernel",
"libraries/enum_primitive",
"libraries/riscv-csr",
"libraries/tock-cells",
"libraries/tock-register-interface",
"libraries/tickv",
"libraries/misc",
]
exclude = [
"tools/alert_codes",
Expand Down
9 changes: 9 additions & 0 deletions arch/cheri/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
[package]
name = "cheri"
version = "0.1.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
kernel = { path = "../../kernel" }
Loading

0 comments on commit bd73f64

Please sign in to comment.