Getting Around The Source

OKL4 Source Tree

The OKL4 source tree is structured as follows:

• /pistachio The OKL4 Kernel

• /iguana

  • /server The OKL4 root server

  • /example Sample OKL4 applications

  • /test Test suite for the OKL4 root server

  • /v* Virtual device servers

• /drivers Device drivers

• /libs Core OKL4 libraries

  • /c The OKL4 C library

  • /posix A subset of the POSIX PSE51 profile

  • /l4[e] Userland stubs for invoking kernel primitives

  • /iguana OKL4 interface library for interacting with the OKL4 root server

  • /v* OKL4 interface library for obtaining virtual devices

• /l4test Test suite for the OKL4 kernel

• /arch Architecture-specific code

• /platform Platform-specific code

• /projects Build-system configuration for projects

• /tools Build-system tools, IDL generator (magpie) and system-configurator (elfweaver)

OK Linux Source Tree

The OK Linux source tree is generally located (or symlinked) into a subfolder named linux in the main OKL4 source tree. The full Linux kernel source is distributed, and the OK Linux-specific source is structured as follows:

• /apps Applications that can be built along with OK Linux

• /kernel-2.6.23-v2

  • /arch/l4

    • /drivers OK Linux specific drivers

    • /kernel OK Linux kernel code

    • /sys-* Platform-specific OK Linux code (for i386, ARM, and MIPS)

  • /include/asm-l4 OK Linux specific headers

• /rootfs-2.6.23-v2 The OK Linux root filesystem

• /tools