2007-01-02 12:50:51 GMT
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 :
1st phase :
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 :
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.
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 :)
_______________________________________________ L4-hurd mailing list L4-hurd <at> gnu.org http://lists.gnu.org/mailman/listinfo/l4-hurd