osFree documentation

This is osFree documentation page. It is heavy mix of autogenerated documentation and hand-written documentation. Please select a category from below.

General

Microkernel

Microkernel, formerly L4Ka::Pistachio, now Fiasco.OC

Older L4 X.2 docs

IDL4 Manual

L4 Version X.2 Reference Manual

L4Ka:Kickstart

L4Ka::Pistachio and Afterburner build process

Fiasco and L4Linux build process

Newer Fiasco.OC docs

TODO

Personality neutral servers

The thin API layer between a microkernel and OS Personalities (consisting of libraries and servers)

UPDATE THIS!

Root server

Port Input Output server

KBD server

VIO server

Virtual File System servers

OS/2 personality

DOS personality

Win16 personality