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
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
