secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-docs/Hardware
History
Gerwin Klein f454cc4dfe sel4test: make instructions linear 
As #221 points out, copy/pasting the previous instructions linearly
without closely reading the text will lead to an error state (wrong
directory). Reorganise the code blocks so that they can be copy/pasted
and run step by step without running into errors. This also makes the
initial example more concrete.

Fixes #221

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-07-17 18:06:03 +10:00
..
CEI_TK1_SOM Fix tk1som link 2025-07-16 09:57:32 +10:00
HiKey Use relative links for preview 2025-07-16 09:57:30 +10:00
Star64 hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
VMware Use relative links for preview 2025-07-16 09:57:30 +10:00
BeagleBoard.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
Beaglebone.md Use relative links for preview 2025-07-16 09:57:30 +10:00
GeneralARM.md Fix links; don't assume .html extension 2025-07-16 09:57:27 +10:00
IA32.md hardware: split pc99 into two pages 2025-07-17 09:45:30 +10:00
IF6410.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
JetsonTX2.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
Kzm.md Use relative links for preview 2025-07-16 09:57:30 +10:00
MaaXBoard.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
OdroidC2.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
OdroidC4.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
OdroidXU.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
OdroidXU4.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
Rpi3.md rpi3: fix more broken links, refer to rpi4 2025-07-16 09:57:31 +10:00
Rpi4.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
X64.md hardware: split pc99 into two pages 2025-07-17 09:45:30 +10:00
ZC706.md Update xilinx redirect links 2025-07-16 09:57:31 +10:00
ZCU102.md Update xilinx redirect links 2025-07-16 09:57:31 +10:00
ZCU106.md Update xilinx redirect links 2025-07-16 09:57:31 +10:00
ariane.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
arndale.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
cheshire.md Make use of note/endnote env 2025-07-16 09:57:31 +10:00
hifive-p550.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
hifive.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
imx8mm.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
imx8mp.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
imx8mq.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
imx93.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
index.md sel4test: make instructions linear 2025-07-17 18:06:03 +10:00
jetsontk1.md Use relative links for preview 2025-07-16 09:57:30 +10:00
jetsontx1.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
odroidx.md Make use of note/endnote env 2025-07-16 09:57:31 +10:00
polarfire.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
qemu-arm-virt.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
qemu-riscv-virt.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
rocketchip-zcu102.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
rocketchip.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
rockpro64.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
sabreLite.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
spike.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
tqma8xqp1gb.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00
ultra96v2.md hardware tables: ticks/dashes instead of yes/no 2025-07-16 09:57:29 +10:00