Re:DEOS: The distributed exokernel operating system
by friedrich12 on Thursday January 11, 2018 @07:43AM
(#16123313)
I'm building off my MIT project the final project is implementing ideas from MIT exokernel paper sorry i didn't say that earlier.
Re:DEOS: The distributed exokernel operating system
by friedrich12 on Thursday January 11, 2018 @07:47AM
(#16123341)
I talked with Dawson Engler who was a part of the original exokernel project he said I should first start with the MIT OS from 6.828 and then start implementing ideas from the papers. I still have a lot to do though.
EDIT: Actually, it appears the bootloader (boot/main.c) is a straight copy from https://github.com/wh5a/jos, a teaching OS from an OS programming course at MIT. Is DEOS just someone's homework?