Ivan Velickovic b00bebe3f6 Move list of supported platforms into manual ... Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>		2025-07-16 15:38:09 +10:00
..
assets	manual: add section on internals	2025-03-04 17:29:31 +11:00
style	docs: type set manual in seL4 foundation style	2024-06-27 10:54:11 +10:00
manual.md	Move list of supported platforms into manual	2025-07-16 15:38:09 +10:00