seL4_tools icon indicating copy to clipboard operation
seL4_tools copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add support for Pine64 Star64

Open Ivan-Velickovic opened this issue 1 year ago • 2 comments

The motivation for using a binary image is that it is (in my experience) the most stable.

Ivan-Velickovic avatar Aug 21 '23 10:08 Ivan-Velickovic

What does is mean "most stable"? Can you make this a bit more specific, is it the OpenSBI build/boot flow that works better? Or the U-Boot boot flow? Or the platform specific tooling?

axel-h avatar Aug 21 '23 10:08 axel-h

What does is mean "most stable"? Can you make this a bit more specific, is it the OpenSBI build/boot flow that works better? Or the U-Boot boot flow? Or the platform specific tooling?

I meant just in general, with a binary image you just set the program counter and jump to it whereas with an ELF or other file formats their is more space to get things wrong. One example I've had in the past when using bootelf with U-Boot is that it just doesn't do anything, no error message or nothing.

In addition, a binary works with the regular boot flow of the Star64 but also with FW_PAYLOAD and FW_JUMP with OpenSBI.

Ivan-Velickovic avatar Aug 21 '23 12:08 Ivan-Velickovic