Exercise: Hyperkernel

Due: Fri, 25 May 2018 11:00:00 -0700

Skim the Hyperkernel paper. Focus on Sections 2 and 4.

Question

List three types of bugs that can be prevented in Hyperkernel.

Question

List three types of bugs that cannot be prevented in Hyperkernel.

Hyperkernel source code

If you are interested, check out the source code of Hyperkernel on GitHub.

What to submit

Write down your answers in a file named answers.txt, and upload it using Canvas.