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.