Tutorial: Loading L4Linux 2.6

To explain how to use the L4 loader, we will analyse here a more practical scenario. We will start L⁴Linux as development environment. Once L⁴Linux is up we can start L4 tasks using the Linux utilities run-l4.

Step 1: Start L4Linux 2.6

Step 2: Start the launchpad from L4Linux

Step 3: Dump program sections of L4 task

Step 4: Dump memory usage of L4 tasks