This section acts as a Table of Contents of sorts for this document. It lists some of the errors you might encounter (those I encountered at least) and how to fix them.
- failure to compile Jailhouse with errors like
ERROR: modpost: "ioremap_page_range" [driver/jailhouse.ko] undefined!
: you are not running a Jailhouse-enabling kernel and haven't specified a different kernel source to bind to: refer to this section and this section. - failure to compile the kernel: check whether you used the correct options in the
.config
file. In this gist you can find a working config and refer to this section. - failure to boot the board with a custom kernel: check whether the kernel you are running contains the NVIDIA Jetson patches (refer to this section)
- failure to use I/O