[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]l4re_framebuffer-example.efi2025-03-04 00:07 7.2M 
[ ]l4re_framebuffer-example.elf322025-03-04 00:07 7.3M 
[ ]l4re_hello-2.efi2025-03-04 00:07 3.2M 
[ ]l4re_hello-2.elf322025-03-04 00:07 3.4M 
[ ]l4re_hello-cfg.efi2025-03-04 00:07 3.2M 
[ ]l4re_hello-cfg.elf322025-03-04 00:07 3.4M 
[ ]l4re_hello-shared.efi2025-03-04 00:07 3.6M 
[ ]l4re_hello-shared.elf322025-03-04 00:07 3.7M 
[ ]l4re_hello.efi2025-03-04 00:07 2.7M 
[ ]l4re_hello.elf322025-03-04 00:07 2.8M 
[ ]l4re_ipcbench.efi2025-03-04 00:07 4.0M 
[ ]l4re_ipcbench.elf322025-03-04 00:07 4.1M 
[ ]l4re_L4Linux-basic.efi2025-03-04 00:07 19M 
[ ]l4re_L4Linux-basic.elf322025-03-04 00:07 19M 
[ ]l4re_L4Linux-mag.efi2025-03-04 00:07 23M 
[ ]l4re_L4Linux-mag.elf322025-03-04 00:07 23M 
[ ]l4re_vm-basic-pci.efi2025-03-04 00:07 21M 
[ ]l4re_vm-basic-pci.elf322025-03-04 00:07 21M 
[ ]l4re_vm-basic.efi2025-03-04 00:07 18M 
[ ]l4re_vm-basic.elf322025-03-04 00:07 18M 
[ ]l4re_vm-multi-p2p.efi2025-03-04 00:07 18M 
[ ]l4re_vm-multi-p2p.elf322025-03-04 00:07 18M 
[ ]l4re_vm-multi.efi2025-03-04 00:07 18M 
[ ]l4re_vm-multi.elf322025-03-04 00:07 18M