bareflank-hypervisor/bfruntime/tests
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
..
crt Add platform_info_t, support runtime serial port address (#632) 2018-02-28 08:39:45 -07:00
CMakeLists.txt Build System Bug Fixes (#575) 2018-01-22 12:45:07 -07:00