Overview

PKOS on L4Ka::Pistachio

Now hosted on bitbucket.org
https://www.bitbucket.org/pkdawson/pkos

Quick and dirty "build system"

make fetch
make prep
make pkos
make floppy
make install
make fdimage

qemu -fda fdimage.image -nographic