bareflank-hypervisor/bfdriver
Chris Pavlina 276db173ca Add platform_info_t, support runtime serial port address (#632)
platform_info_t is used to pass platform-specific information from the
kernel into the vmm. On aarch64, this is used to map the serial
peripheral and pass the resulting virtual address.

Closes #527

Signed-off-by: Chris Pavlina <pavlinac@ainfosec.com>
2018-02-28 08:39:45 -07:00
..
include Convert Hypervisor to use Delegates (#610) 2018-02-14 05:25:49 -07:00
src Add platform_info_t, support runtime serial port address (#632) 2018-02-28 08:39:45 -07:00
tests Add platform_info_t, support runtime serial port address (#632) 2018-02-28 08:39:45 -07:00