Balazs Miklos's ("Phantom OS" | http://www.phantom-os.org/) _(MIA) is a project for an *(OS) for x86 PCs, based on a _(microkernel), and released under the _(GNU) General Public License. Currently the _(kernel) is being developed, but the plan is to make a full _(OS) around it as time passes. There is sparse documentation but also some actual code to download.