Wednesday, April 27, 2011


Today Jordan Justen of the EDK2 TianoCore project announced that four students will be working on UEFI EDK2 projects. I am very excited to be mentoring the OVMF on Xen project, which will enable UEFI firmware for HVM Xen virtual machines.

With luck and lots and lots of work, by the end of this mentorship we will be able to boot into Linux using Xen PV devices (blkback...).

This presents a wonderful opportunity to share my Xen and EDK experiences and help out two projects I love :-).

Friday, April 8, 2011

Haskell and Osdev.

There is a Haskell-written OS! Can't wait to play with this...

House -

Another interesting angle are Linux LKMs in Haskell. This is pretty proof-of-concept... If I ever have time I'll see if I can play with this. Hmmm. I wonder if with new version of GHC this isn't limited to IA-32 anymore.