From af6db159a178555aea35da52cab06ca92672702f Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 6 Jan 2025 13:39:45 -0500 Subject: [PATCH] vault backup: 2025-01-06 13:39:45 --- .../Capabilities Tutorials.md | 5 +++++ .../Untitled.md | 0 2 files changed, 5 insertions(+) create mode 100644 300s School/ME 2150 - High Assurance Cyber-Physical Systems/Capabilities Tutorials.md delete mode 100644 300s School/ME 2150 - High Assurance Cyber-Physical Systems/Untitled.md diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Capabilities Tutorials.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Capabilities Tutorials.md new file mode 100644 index 000000000..b1a90d015 --- /dev/null +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Capabilities Tutorials.md @@ -0,0 +1,5 @@ +From the [tutorial](https://docs.sel4.systems/Tutorials/capabilities): +There are three kinds of capabilities in seL4: +- capabilities that control access to kernel objects such as thread control blocks, +- capabilities that control access to abstract resources such as `IRQControl`, and +- untyped capabilities, that are responsible for memory ranges and allocation from those (see also the [Untyped](https://docs.sel4.systems/Tutorials/untyped.html) tutorial). \ No newline at end of file diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Untitled.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Untitled.md deleted file mode 100644 index e69de29bb..000000000