seL4: initial commit #4
Conversation
williambeasley-capablehub
force-pushed
the
wbeasley/add-sel4-map
branch
from
cdbedf6 to
35aa952
Compare
| @@ -0,0 +1,64 @@ | |||
| project_summary: | |||
| category: "kernel" | |||
There was a problem hiding this comment.
These categories relate to headings on this page - https://www.thecapablehub.org/software/
Should this be counted as a distribution or a kernel? In some ways you might think of it like a distribution, e.g. what you got running on there, zephyr? No Sel4.
Thoughts @pawelzalewski-capablehub ?
There was a problem hiding this comment.
So Sel4 and Linux are kernels not a distributions, to my mind this would live in the kernel category as Will has proposed, where cheri-linux would live. There are no sel4 distros that I am aware of ?
The distribution for Linux is for example Yocto. Zephyr is also not technically speaking a distro.
I think we just need to change the wording on our website
I propose:
Distributions (Yocto + FreeBSD)
RTOS (Zephyr, CHERIoT )
Kernels( sel4 + cheri-linux)
Toolchains (LLVM)
Libraries (QEMU)
There was a problem hiding this comment.
That's fine by me
There was a problem hiding this comment.
For this one I have just added the Kernels section, I will modify & create the other sections in a dedicated PR
|
@williambeasley-capablehub can you get a CloudFlare preview URL for this, and then reach out to Hesham for his feedback? |
williambeasley-capablehub
force-pushed
the
wbeasley/add-sel4-map
branch
2 times, most recently
from
893a0b8 to
8ad3680
Compare
Signed-off-by: William Beasley <william.beasley@thecapablehub.org>
williambeasley-capablehub
force-pushed
the
wbeasley/add-sel4-map
branch
from
8ad3680 to
0c2f698
Compare
|
Preview of this can now be seen on https://wbeasley-add-sel4-page-the-capable-hub-website.andrew-murray.workers.dev/software/ |
No description provided.