Not _exactly_ new... Moscow
Posted: Mon Jan 08, 2007 4:20 am
As I'm new here I thought I'd introduce myself and my project. I'm Jules, a brit who's been at this OS development lark for a little over 10 years now, but has yet to produce a useful system. Lots of flickering multitasked screens though. 
Anyway, moscow is the project I've been fiddling with for most of that time, but I've recently decided to take a new direction with it, something a little unusual: the plan is to make it run provably typesafe and memory-safe "user mode" code in the kernel address space. My estimates are that I can get IPC setup time down to approx 20 CPU cycles and 2 memory accesses, which should make a very high performance microkernel viable. Target platform is x86-64; tools are g++/nasm (for kernel code) and llvm-g++ (for user code, inc. drivers).
Anyway, moscow is the project I've been fiddling with for most of that time, but I've recently decided to take a new direction with it, something a little unusual: the plan is to make it run provably typesafe and memory-safe "user mode" code in the kernel address space. My estimates are that I can get IPC setup time down to approx 20 CPU cycles and 2 memory accesses, which should make a very high performance microkernel viable. Target platform is x86-64; tools are g++/nasm (for kernel code) and llvm-g++ (for user code, inc. drivers).