Name	Last modified	Size	Description
	Parent Directory		-
	l4re_L4Linux-basic.elf32	2024-08-24 16:54	19M
	l4re_L4Linux-mag.elf32	2024-08-24 16:54	23M
	l4re_framebuffer-example.elf32	2024-08-24 16:54	7.2M
	l4re_hello-2.elf32	2024-08-24 16:54	3.3M
	l4re_hello-cfg.elf32	2024-08-24 16:54	3.3M
	l4re_hello-shared.elf32	2024-08-24 16:54	3.7M
	l4re_hello.elf32	2024-08-24 16:54	2.7M
	l4re_ipcbench.elf32	2024-08-24 16:54	3.7M
	l4re_vm-basic-pci.elf32	2024-08-24 16:54	21M
	l4re_vm-basic.elf32	2024-08-24 16:54	18M
	l4re_vm-multi-p2p.elf32	2024-08-24 16:54	18M
	l4re_vm-multi.elf32	2024-08-24 16:54	18M
	l4re_L4Linux-basic.efi	2024-08-24 16:54	19M
	l4re_L4Linux-mag.efi	2024-08-24 16:54	23M
	l4re_framebuffer-example.efi	2024-08-24 16:54	7.1M
	l4re_hello-2.efi	2024-08-24 16:54	3.2M
	l4re_hello-cfg.efi	2024-08-24 16:54	3.2M
	l4re_hello-shared.efi	2024-08-24 16:54	3.6M
	l4re_hello.efi	2024-08-24 16:54	2.6M
	l4re_ipcbench.efi	2024-08-24 16:54	3.6M
	l4re_vm-basic-pci.efi	2024-08-24 16:54	21M
	l4re_vm-basic.efi	2024-08-24 16:54	18M
	l4re_vm-multi-p2p.efi	2024-08-24 16:54	18M
	l4re_vm-multi.efi	2024-08-24 16:54	18M