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