here's what I dug up

https://github.com/attah/hydros

https://github.com/samcamwilliams/hydros-site

Thanks! There's some really interesting things here. I chose to interface with some basic hardware only from my kernel, but hydros uses Erlang to interface with the IO-APIC and a bunch of other stuff. They've even got NIFs to do sti/cli from Erlang.