Re: Building Screenshots and examples

Philipp Eppelt <[email protected]> Tue, 5 Nov 2024 13:40:30 +0100
Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>
Hi Lonnie,

welcome to the L4Re learning curve. :-)

Indeed, there seems to be a problem with .efi images. Thanks for letting us know.

I can boot the .elf32 image though:
     l4image -i l4re_vm-basic-pci.elf32 launch

It behaves like shown in the screencast:
https://l4re.org/cast-vm-basic-pci-qemu-x86.html

Since you already have the github version, you can run the examples from the 
l4re build directory. `make qemu` executed in your l4re build directory should 
show a list of example entries to run. These examples are the same as the 
prebuild images.

Cheers,
Philipp


Am 03.11.24 um 21:52 schrieb Lonnie Cumberland:
> 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]

-- 
[email protected] - Tel. 0351-41 883 221
http://www.kernkonzept.com

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth

_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]
OpenPGP_signature.asc (application/pgp-signature, 840 B)