Linux on L4

Linux as a stable, de-facto standard in freeware world. Goal of 100% compatibility---binary compliant.

Modified only architecture-dependent parts of Linux. Create a single Linux server as shown in Figure 1.

Results in a page table both in Linux server and L4 kernel.

Single-threaded Linux server.

Linux processes are L4 tasks.

System calls:

• modified libc.so

• modified libc.a

• user-level exception handler (trampoline) like native system-call trap. Allows binary compatibility.