Support for RPi Guest with updated kernel

The micro-hypervisor was tested with a specific Raspbian image (2016-11-25-raspbian-jessie-lite) and kernel version (4.4.y). What are the dependencies between the image and the kernel, to be able to support a more recent kernel?

@Cap, am moving this to the appropriate category.

What are the dependencies between the image and the kernel, to be able to support a more recent kernel?

The micro-hypervisor needs some revision to support a newer kernel in general on the rpi: e.g., memory-map restructuring, ATAGS/device tree updates and rich-guest runtime support in case of 64-bit vs 32-bit.

As far as the raspbian distro goes, there might be some boot-up services/drivers that might need support from the micro-hypervisor components (e.g., SDHOST interception and DMA protection).