Skim the Hyperkernel paper. Focus on Sections 2 and 4.
Describe one type of bugs that cannot be prevented in Hyperkernel.
Can verification catch the undefined behavior bugs mentioned in the STACK paper? Briefly explains why or why not.
If you are interested, check out the source code of Hyperkernel on GitHub.
Write down your answers in a file named answers.txt, and upload it
using Canvas.