Re:SeL4 Device Driver Framework 0.4.0
by marcosdumay on Tuesday April 09, 2024 @01:12PM
(#39981581)
That would explain why it never seemed to move forward.
TBF, that makes it quite explicit that the problem of Hurd never getting ready was due to the project governance (as in "this is not a goal"). A project that uses Mach could never get big.
TBF, that makes it quite explicit that the problem of Hurd never getting ready was due to the project governance (as in "this is not a goal"). A project that uses Mach could never get big.