	Xvisor on Raspberry Pi2 board (or BCM2836) using SD Booting 

This section of readme explains how to build & run Xvisor on actual BCM2836
SOC boards (Raspberry Pi2 for example) using SD booting.

By default, Xvisor for BCM2836 supports Realview-PB-A8 guest so we will
show how to run Basic Firmware on Realview-PB-A8 guest. For more info refer,
<xvisor_source>/tests/arm32/realview-pb-a8/basic/README.

As first step, we install u-boot-2015.07 on the pre-installed SD card that
comes with Raspberry Pi2 board. To do this:
 1) Download and build u-boot-2015.07
 # wget ftp://ftp.denx.de/pub/u-boot/u-boot-2015.07.tar.bz2
 # tar -xvf u-boot-2015.07.tar.bz2
 # cd u-boot-2015.07
 # make rpi_2_defconfig
 # make all
 # cat <xvisor_source>/docs/arm/bcm2836-raspi2-bootblk.bin.ift u-boot.bin > u-boot.hyp
 2) Mount the boot partition of pre-installed SD card
 3) Copy u-boot.hyp to <raspi2_sd_card_boot_partition>
 4) Create <raspi2_sd_card_boot_partition>/config.txt if it does not exist
 5) Add following lines to <raspi2_sd_card_boot_partition>/config.txt:
 kernel=u-boot.hyp
 kernel_old=1
 gpu_mem=128
 6) Unmount the boot partition of pre-installed SD card

Once we have u-boot installed on SD card, we add 3 more images to the boot
partition of SD card:
 1) U-Boot compatible Xvisor binary (uvmm.bin)
 2) DTB for Xvisor (one_guest_pb-a8.dtb)
 3) Disk image containing guest binaries (disk.img)

Following are steps to create these images and boot Xvisor on Raspberry Pi2:

  [1. Build environment]
  # CROSS_COMPILE=arm-linux-gnueabi-

  [2. GoTo Xvisor source directory]
  # cd <xvisor_source_directory>

  [3. Configure Xvisor with Generic-v7-ve default settings]
  # make ARCH=arm generic-v7-ve-defconfig

  [4. Build Xvisor and DTBs]
  # make; make dtbs

  [5. Make U-Boot compatible uvmm.bin for use with bootm command]
  # mkimage -A arm -O linux -T kernel -C none -a 0x00008000 -e 0x00008000 -n Xvisor -d build/vmm.bin build/uvmm.bin

  [6. Build Basic Firmware for Realview-PB-A8 Guest, this creates firmware.bin]
  # make -C tests/arm32/realview-pb-a8/basic
  
  [7. Create disk image for Xvisor]
  # mkdir -p ./build/disk/images/arm32/realview-pb-a8
  # ./build/tools/dtc/dtc -I dts -O dtb -o ./build/disk/images/arm32/realview-pb-a8.dtb ./tests/arm32/realview-pb-a8/realview-pb-a8.dts
  # cp -f ./build/tests/arm32/realview-pb-a8/basic/firmware.bin ./build/disk/images/arm32/realview-pb-a8/firmware.bin
  # cp -f ./tests/arm32/realview-pb-a8/basic/nor_flash.list ./build/disk/images/arm32/realview-pb-a8/nor_flash.list
  # genext2fs -B 1024 -b 16384 -d ./build/disk ./build/disk.img
  OR
  # mkdir -p ./build/disk/images/arm32/realview-pb-a8
  # ./build/tools/dtc/dtc -I dts -O dtb -o ./build/disk/images/arm32/realview-pb-a8.dtb ./tests/arm32/realview-pb-a8/realview-pb-a8.dts
  # cp -f ./build/tests/arm32/realview-pb-a8/basic/firmware.bin ./build/disk/images/arm32/realview-pb-a8/firmware.bin
  # cp -f ./tests/arm32/realview-pb-a8/linux/nor_flash.list ./build/disk/images/arm32/realview-pb-a8/nor_flash.list
  # cp -f ./tests/arm32/realview-pb-a8/linux/cmdlist ./build/disk/images/arm32/realview-pb-a8/cmdlist
  # cp -f <linux_build_directory>/arch/arm/boot/Image ./build/disk/images/arm32/realview-pb-a8/Image
  # cp -f <busybox_rootfs_directory>/rootfs.img ./build/disk/images/arm32/rootfs.img
  # genext2fs -B 1024 -b 16384 -d ./build/disk ./build/disk.img

  (Note: For creating <linux_build_directory>/arch/arm/boot/Image refer
   <xvisor_source_directory>/tests/arm32/realview-pb-a8/linux/README)
  (Note: For creating <busybox_rootfs_directory>/rootfs.img refer
   <xvisor_source_directory>/tests/arm32/common/busybox/README)

  [8. Make U-boot compatible initrd for use with bootm command]
  # mkimage -A arm -O linux -T ramdisk -a 0x00000000 -n "Xvisor ramdisk" -d build/disk.img build/udisk.img

  [9. Unplug bootable SD card from the Raspberry Pi2 board and plug it on your development machine]

  [10. Mount boot partition (or partition 0) of SD card on your development machine]

  [11. Copy uvmm.bin, DTB, and disk.img to boot partition of SD card]
  # cp -f build/uvmm.bin <path_to_mounted_boot_partition_of_sd_card>
  # cp -f build/arch/arm/board/generic/dts/bcm2836/one_guest_pb-a8.dtb <path_to_mounted_boot_partition_of_sd_card>
  # cp -f build/udisk.img <path_to_mounted_boot_partition_of_sd_card>

  [12. Unmount boot partition (or partition 0) of SD card from your development machine]

  [13. Unplug SD card from your development machine and plug it back on Raspberry Pi2 board]

  [14. Connect to serial port of Raspberry Pi2 board using Putty or Minicom]

  [15. Power-up or Reset Raspberry Pi2 board and press any key when U-Boot shows auto-boot count down]

  [16. Enable MMC interface from U-Boot command line]
  U-Boot> mmc dev 0:0

  [17. Copy Xvisor from SD card to SDRAM]
  U-Boot> fatload mmc 0 0x200000 uvmm.bin

  [18. Copy the Xvisor DTB from SD card to SDRAM]
  U-Boot> fatload mmc 0 0x800000 one_guest_pb-a8.dtb

  [19. Copy disk image from SD card to SDRAM]
  U-Boot> fatload mmc 0 0x2000000 udisk.img

  [20. Jump into Xvisor after disabling MMU, interrupts, etc]
  U-Boot> bootm 0x200000 0x2000000 0x800000

  (Note: If you want to "autoboot" then you need to create a boot.scr file
   on the root of the SD card. To do so edit a boot.cmd text file and add all
   the commmands you want to execute automatically. For example you can put
   the following commands in the "boot.cmd" file:
   mmc dev 0:0
   fatload mmc 0 0x200000 uvmm.bin
   fatload mmc 0 0x800000 one_guest_pb-a8.dtb
   fatload mmc 0 0x2000000 udisk.img
   bootm 0x200000 0x2000000 0x800000
   Then you can create the boot.scr file wit the following command:
   # mkimage -C none -A arm -T script -d boot.cmd boot.scr
   Put the boot.scr file a the root of your SD card.)

  [21. Kick Guest0 for starting Basic Firmware]
  XVisor# guest kick guest0

  [22. Bind to virtual UART]
  XVisor# vserial bind guest0/uart0

  [23. Say 'hi' to Basic Firmware]
  [guest0/uart0] basic# hi

  (Note: If you had linux images loaded in guest NOR flash
   then instead of above step you can start booting linux,
   basic# autoexec)

  [24. Say 'hello' to Basic Firmware]
  [guest0/uart0] basic# hello

  [25. Check various commands of Basic Firmware]
  [guest0/uart0] basic# help

  [26. Enter character seqence 'ESCAPE+x+q" return to Xvisor prompt]
  [guest0/uart0] basic# 

  (Note: replace all <> brackets based on your workspace)

