Hi,
I'm responsible for the BCOS project at 
http://bcos.hopto.org.
The goal of the project is to develop an extremely scalable distributed OS that uses non-blocking messaging.
There's been many previous versions of the OS (dating back over ten years), with each version improving on the last. The current version intends to support the following features:
- Portable OS with platform specific micro-kernels
- Micro-kernel composed of independant "kernel modules" that are auto-selected during boot
- Devices drivers implemented as "normal" processes
- Multi-user (allow several users per machine at the same time)
- Distributed - several computers (with different architectures) form a "cluster" and simulate a single larger computer
I'm currently working on the next 32 bit 80x86 implementation. This implementation intends to support the following additional features:
- 32 bit and 36 bit paging (PAE)
- Multi-processor (allowing for varied CPUs rather than strict SMP)
- Hyper-threading support
- NUMA support
I'm mostly using NASM and my own "System Build Utility". This utility automatically converts the source code into cross-linked HTML pages every time I build the OS, and makes these pages available on the internet for everyone to see (http://bcos.hopto.org/source.html). Despite this the project is not GPL.
I can be contacted through the OS Development Forum, by sending an email to "btrotter AT gmail.com" or by the BCOS Project Forums.