Index of /download/snapshots/pre-built-images/x86

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 l4re_hello.elf                        2026-05-17 14:49  2.6M  
 l4re_hello-shared.elf                 2026-05-17 14:49  3.4M  
 l4re_hello-cfg.elf                    2026-05-17 14:49  3.2M  
 l4re_hello-2.elf                      2026-05-17 14:49  3.2M  
 l4re_framebuffer-example.elf          2026-05-17 14:49  7.0M  
 l4re_L4Linux-mag.elf                  2026-05-17 14:49   22M  
 l4re_L4Linux-basic.elf                2026-05-17 14:49   19M

Apache/2.4.67 (Unix) OpenSSL/3.5.6 SVN/1.14.2 PHP/8.4.21 Server at wwwos.inf.tu-dresden.de Port 80