docs icon indicating copy to clipboard operation
docs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add Star64 as supported platform

Open Ivan-Velickovic opened this issue 2 years ago • 3 comments

Depends on https://github.com/seL4/seL4/pull/1019.

Ivan-Velickovic avatar Apr 21 '23 04:04 Ivan-Velickovic

@axel-h How much detail do you want me to go into for the boot process here? It looks like U-Boot proper does not build for M-mode so the only method currently supported is what comes with the board, U-Boot SPL loads OpenSBI which has a U-Boot payload which starts in S-Mode. Then you can use TFTP/loading off of the MMC to load an seL4 image. I also have instructions for creating a bootable image off of the SD card instead of the flash here: https://github.com/Ivan-Velickovic/star64_sdcard. Should I reproduce those instructions on the docs site?

Ivan-Velickovic avatar Apr 30 '23 23:04 Ivan-Velickovic

I would say yes, that would be great. Whatever is needed or would help someone get started who has not much background in any of these.

lsf37 avatar May 01 '23 00:05 lsf37

Okay I think this is good to go. Unfortunately I still don't have a working timer driver so I think we should hold off on merging this and the seL4 PR until I have that.

Ivan-Velickovic avatar May 08 '23 02:05 Ivan-Velickovic