There is a linked article on his blog https://utcc.utoronto.ca/~cks/space/blog/tech/AcademicMicrok... that expands on this. Specifically: >the whole 'normal kernel on microkernel' idea of porting an existing OS kernel…
There is a linked article on his blog https://utcc.utoronto.ca/~cks/space/blog/tech/AcademicMicrok... that expands on this. Specifically: >the whole 'normal kernel on microkernel' idea of porting an existing OS kernel…