			Virt64 Guest

The Virt64 is a fully para-virtualized guest with RISC-V 64bit CPUs.

We only have memory mapped VirtIO devices for IO and this makes the
Guest as fully para-virtualized.

The memory map and irqs in Virt64 guest are as follows:
0x0000000000000000-0x000000000BFFFFFF (192M)        (NOR Flash)
0x000000000C000000–0x000000000FFFFFFF (64M)         (PLIC)
0x0000000010000000–0x00000000100000FF (4K) (IRQ=10) (UART-8250)
0x0000000010001000–0x0000000010001FFF (4K)          (Guest/VM Info Device)
0x0000000010002000–0x0000000010002FFF (4K)          (SimpleFB Device)
0x0000000010003000–0x0000000010003FFF (4K) (IRQ=11) (Goldfish-RTC)
0x0000000010004000–0x000000001FFFFFFF (256M-16K)    (Reserved)
0x0000000020000000–0x0000000020000FFF (4K) (IRQ=1)  (VirtIO Network Device)
0x0000000020001000–0x0000000020001FFF (4K) (IRQ=2)  (VirtIO Block Device)
0x0000000020002000–0x0000000020002FFF (4K) (IRQ=3)  (VirtIO Console Device)
0x0000000020003000–0x0000000020003FFF (4K) (IRQ=4)  (VirtIO RPMSG Device)
0x0000000020004000–0x0000000020004FFF (4K) (IRQ=5)  (VirtIO Input Device)
0x0000000020005000–0x000000002FFFFFFF (256M-20K)    (Reserved)
0x0000000030000000-0x000000004FFFFFFF (512M)        (Reserved for PCI memory)
0x0000000050000000-0x0000000050FFFFFF (16M)         (SimpleFB Video RAM)
0x0000000051000000-0x0000000057FFFFFF (128M-16M)    (Reserved)
0x0000000058000000-0x0000000058FFFFFF (16M)         (Shared memory)
0x0000000059000000-0x000000007FFFFFFF (768M-16M)    (Reserved)
0x0000000080000000-0xFFFFFFFFFFFFFFFF (---)         (RAM)


			Virt64 Guest OSes

We have tested following guest OSes for this guest:

  1. basic - Basic firmware/bootloader
  2. linux - Linux Kernel

Please follow the README under specific guest OS directory for detailed
steps to configure, compile and run.
