docs
docs copied to clipboard
seL4
This is the source of the seL4 docs.
Hello, I've been having an issue with running sel4test according to the updated documentation, and shared my findings on the [sel4 Discourse](https://sel4.discourse.group/t/raspberry-pi-4b-no-serial-without-dtoverlay-disable-bt/827). Expected Behavior: `config.txt` without the `dtoverlay=disable-bt` allows `u-boot.bin`...
In the big list of devices, I think having a column for `simulation supported` would be sensible. When starting to tinker, quickly finding out which platform has simulation support is...
https://github.com/seL4/docs/blob/5b8af67b8625fd0ccad32ce6bab4ae6021e7e61e/Hardware/ZC706.md?plain=1#L35C1-L35C9 This patch does not apply at all to the current structure found over at https://github.com/Xilinx/u-boot-xlnx
**Aim:** Arrange the tutorial material such that it is clear and easy to follow **Solution:** Inspired by the Rust book https://doc.rust-lang.org/book/, the user can see the chapters in the index...
`xxd` is needed in `elfloader-tool` in some configs. See also https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/pull/70
I think there's a typo error on the "IA32 Example" where it says: ``` ../init-build.sh -DPLATFORM=ia32 -DRELEASE=TRUE -DSIMULATION=TRUE ``` should say: ``` ../../init-build.sh -DPLATFORM=ia32 -DRELEASE=TRUE -DSIMULATION=TRUE ``` It's not a...
(This may wait for the Information Architecture feedback first) - The landing page has a nice overview but it's not clear that this is just a subset of the docsite...
(This may wait for the Information Architecture feedback first) All the links from the tutorial section on the landing page are wrong, going to the same root Tutorials page
Added some (hopefully) helpful additional content about booting on QEMY emulated polarfire.
As discovered in #163, the docsite build is breaking with the default versions of ruby and bundler on Ubuntu 22.04. We should update the dependencies such that they are more...