A minimal UNIX kernel project for x86 PCs