Get Into It
Get up to speed on design, development, debugging, and deployment in the OKL4 eco-system.
DebuggingGuide: all about debugging in OKL4
DevelopAServer: create your first OKL4 server
DriverFramework: manuals and tutorials for the OKL4 Driver Framework
SharingMemory: get your servers sharing
RemoteMemCopy: mem-copy between different address spaces
Mutex Objects: OKL4 synchronization primitives
Capabilities: OKL4 Caps mechanism
ReplyCaps: IPC Reply Capabilities
IpcAuthorization: authorizing IPC between threads
L4Myself: L4_Myself() and the MyThread constant
PortingNoKip: the Kernel Interface Page is no longer!
CallingOKL4FromOKLinux: call an OKL4 server from OK Linux
DevelopOKLinuxApp: develop or port an app for OK Linux
MplayerOnWombat: activate the frame buffer and port Mplayer on wombat