Building Screenshots and examples

Hello All,

I hope that your day is going well.
Recently, I have decided to explore L4Re as a microhypervisor and 
capabilities as a possible minimalist component-based microkernel OS.

I have just set up Ubuntu 23.10 (x64) in an Intel NUC13 and would am 
reviewing as much documentation as I can find as well as am building the 
core L4Re according to the Github Wiki just to see how the process goes.

https://github.com/kernkonzept/manifest/wiki/BUILDING

As I am in the learning curve at the moment, I also would like to build 
some examples such as the "Screenshots" (https://l4re.org/screens.html) 
and demos from the Pre-Built section 
(https://l4re.org/download/snapshots/pre-built-images/amd64/).   I did 
try to follow the direction on the pre-built sections and grabbed the 
"l4image" and all of the AMD64 EFI files to try and test, but when I 
launch them they just seem to hang and do nothing.  I do have qemu (x64) 
installed as well, but still nothing seems to boot.

What I would like to ask the mailinglist members is where can I get the 
source code to the "screenshots" examples as well as the AMD64 
"pre-built" examples noted above so that I cam do a fresh compile to see 
them in action?

Any help would be greatly appreciated.

Thanks in advance and have a great day,
Lonnie

_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]