This page gives an overview of
the DDEKit.
The thread subsystem maps legacy OS threads to L4 threads. It contains functions for starting and stopping threads, accessing thread-local storage as well as sleeping.
A detailed description can be found in DDEKit_threads
Memory.
- Todo:
- Krishna
DDEKit provides synchronization mechanisms in form of locks (mutexes), semaphores and conditional variables. See
DDEKit_synchronization.
DDEKit provides PCI access functions that are mapped to L4IO. It manages a virtual PCI bus where all hardware devices found at L4IO are chained to. Note that currently it only uses a virtual bus number while slot and function number remain unchanged. This may lead to problems if you have a system where two devices with
the same slot and fn numbers are attached to different busses.
See DDEKit_pci.
DDEKit provides a generic timer implementation that enables users to execute a function with some arguments after a certain period of time. DDEKit therefore starts a timer thread that executes these functions and keeps track of
the currently running timers.
DDEKit also provides utility functions.
ddekit_printf is used for printing data,
Assert can be used to insert assertions into code and
ddekit_panic enters
the kernel debugger. See
DDEKit_util.
