Utilities

run

Start an L4 task. This is a small interactive application using a simple syntax.

run-l4

Start an L4 task from L⁴Linux using the L4 loader.

Parameters:

<config script>

script describing special properties of the application to start.

This utility is used to start L4 programs from L⁴Linux. The script is interpreted by the L4 loader.

kill-l4

Kill an L4 task.

Parameters:

<l4 task number>

number of the L4 task to kill.

The task to kill must has be previously loaded by the loader.

fprov-l4

File provider running on L⁴Linux. This program serves file requests by reading them from the local Linux file system. There are no parameters.

dump-l4

Show L4 tasks which are loaded by the L4 loader.