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 10, 2024
1 parent 44f39d7 commit 07c811d
Show file tree
Hide file tree
Showing 166 changed files with 16,076 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 07c811d

Please sign in to comment.