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