HURD

[John DOE]

Hello,

I am currently making researches about OS for my personal interest.

After many thougths, I ask myself how it is possible to build the HURD quickly and to attract the maximum of people around this project.

I think I have found a guideline. The start point of my thougth was this flame publication :

www.cl.cam.ac.uk/research/srg/netos/papers/2005-hot-os-vmm.pdf


1st phase :

www-128.ibm.com/developerworks/library/l-linuxvirt/index.html

According to this article, openvz~HURD, so it could be interesting to port OpenVZ to the latest Linux kernel and to remove the kvm patch.


2nd phase :

Moreover, if we want to build a microkernel, the main concern will be to put the drivers out of the kernel :

www.ertos.nicta.com.au/research/uldd

We will need to put the Linux drivers out of the kernel/


3rd phase :

The verification of the kernel seems to be a hot topic nowadays. Haskell seems to be the most suitable language to ensure this task.

programatica.cs.pdx.edu/House/


We will rewrite all the microkernel in Haskell.


3 phases, 1 year for each and it seems to be good ... ;) ! ( and more than 1 year of extensive work to put these links into a clean framework ... ;) ! )

I look forward to your answer,

Happy New year :)

Best Regards,

                 G.A.T. Guns