			Virt Guest

The Virt is a fully para-virtualized guest with RISC-V 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 Virt-v8 guest is as follows:
0x0000000000000000-0x000000000BFFFFFF (192M)        (NOR Flash)
0x000000000C000000–0x000000000FFFFFFF (64M)         (PLIC)
0x0000000010000000–0x000000001FFFFFFF (128M)        (Reserved)
0x0000000020000000–0x0000000020000FFF (4K) (IRQ=33) (UART-8250)
0x0000000020001000–0x0000000020001FFF (4K)          (Guest/VM Info Device)
0x0000000020002000–0x0000000020002FFF (4K)          (SimpleFB Device)
0x0000000020003000–0x000000002FFFFFFF (256M-12K)    (Reserved)
0x0000000030000000–0x0000000030000FFF (4K) (IRQ=48) (VirtIO Network Device)
0x0000000030001000–0x0000000030001FFF (4K) (IRQ=49) (VirtIO Block Device)
0x0000000030002000–0x0000000030002FFF (4K) (IRQ=50) (VirtIO Console Device)
0x0000000030003000–0x0000000030003FFF (4K) (IRQ=51) (VirtIO RPMSG Device)
0x0000000030004000–0x000000003FFFFFFF (256M-16K)    (Reserved)
0x0000000040000000-0x000000005FFFFFFF (512M)        (Reserved for PCI memory)
0x0000000060000000-0x0000000060FFFFFF (16M)         (SimpleFB Video RAM)
0x0000000061000000-0x0000000067FFFFFF (128M-16M)    (Reserved)
0x0000000068000000-0x0000000068FFFFFF (16M)         (Shared memory)
0x0000000069000000-0x000000007FFFFFFF (256M-16M)    (Reserved)
0x0000000080000000-0xFFFFFFFFFFFFFFFF (---)         (RAM)


			Virt Guest OSes

We have tested following guest OSes for this guest:

  1. basic - To-Be-Done
  2. linux - To-Be-Done 

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