[Hafnium] How to stop linux from preventing access to serial?

Hi,

I am working with the hafnium hypervisor. I am running Linux alongside another kernel, and I need access to the serial device UART on the other kernel. When I am trying to output serial from the other kernel, hafnium says there is a stage 2 page fault. I tried disabling the serial device in linux, but now I am getting a different result. When I load the hafnium driver, I get a page fault. For some reason, if the device is not in /proc/iomem it throws an error.

How can I use my device in my kernel and disable it in Linux. Linux is the primary VM and my kernel is the secondary VM.

Thanks, Friedrich