R-Car/Boards/S4SK/Xen-Hypervisor

This page is under preparation.

Host PC
Ubuntu 20.04 LTS (64bit) is recommended as OS. 32bit version is not supported.

How to build
See also : https://github.com/renesas-rcar/meta-xt-prod-devel-rcar-gen4/blob/s4sk-mp-1.0/doc/building.md

Installation of required tools and libraries
Ubuntu is used as Linux Host PC since Yocto Project Quick Start specifies Ubuntu as one of the distributions. You need to install the required packages as follows.

Confirm Python3 default version
It is required to install Python version 3.7 or later. If your Python version is 3.6 or lower, please install the newer one as the below:

Build Procedure

 * 1) Build
 * 2) Building image can take up to a few hours depending on your host system performance. After the build has been completed successfully, you should see the output similar to:
 * 1) Building image can take up to a few hours depending on your host system performance. After the build has been completed successfully, you should see the output similar to:

Generated images

 * Dom0: ${WORK_XEN}/yocto/build-dom0/tmp/deploy/images/generic-armv8-xt/
 * DomD: ${WORK_XEN}/yocto/build-domd/tmp/deploy/images/s4sk/
 * DomU: ${WORK_XEN}/yocto/build-domu/tmp/deploy/images/s4sk/
 * {| class="wikitable"

! Domain ! Expected output ! Description
 * rowspan="2" | Dom0
 * Image
 * Dom0 Linux kernel image
 * uInitramfs
 * Dom0 ramfs((Included DomD/U Images and device trees))
 * rowspan="6" | DomD
 * rcar-image-minimal-s4sk.tar.bz2
 * DomD rootfs
 * r8a779f0-s4sk -xen.dtb
 * Xen device trees
 * xenpolicy-s4sk xen-uImage
 * Xen image
 * u-boot-elf-s4sk.srec
 * U-Boot
 * bl31-s4sk.srec
 * Trusted Firmware-A (BL31)
 * tee-s4sk.srec
 * OP-TEE OS
 * rowspan="1" | DomU
 * rcar-image-minimal-s4sk.tar.bz2
 * DomU rootfs
 * }
 * Trusted Firmware-A (BL31)
 * tee-s4sk.srec
 * OP-TEE OS
 * rowspan="1" | DomU
 * rcar-image-minimal-s4sk.tar.bz2
 * DomU rootfs
 * }
 * DomU rootfs
 * }
 * }

How to boot
<!--

Update the loader
Write the binaries(bl31-s4sk-proto.srec tee-s4sk-proto.srec  u-boot-elf-s4sk-proto.srec) in the output/ipl directory to S4SK. If you do not have other binaries, please contact the S4SK-Proto board provider. See here for the writing procedure.

Loading kernel and rootfs via SD card
This section describes steps that are necessary for preparing and booting from SD card.

Preparing SD card(32GB or more)
WARNING! These steps will erase the SD card completely. In short, all files will be lost. Follow these steps on the host machine:
 * 1) Divide the SD card into three partions and set ID=83(Linux) for each.
 * 2) Format each partition to ext4
 * 3) Deploy images to SD card.
 * NOTE: probably you need to be a root user, hence use "sudo"
 * 1) Deploy images to SD card.
 * NOTE: probably you need to be a root user, hence use "sudo"
 * NOTE: probably you need to be a root user, hence use "sudo"

Configure U-Boot to boot from SD card

 * Proper U-Boot command to boot from SD:

Dom0

 * Get information about Xen host (xl info)


 * List information about all/some domains (xl list)


 * Terminate a domain immediately (xl destory DomU)


 * Create a domain from config file (xl create )


 * Attach to domain's console (xl console DomD)
 * Back to Dom0 : ctrl + ]
 * Back to Dom0 : ctrl + ]


 * Attach to domain's console (xl console DomU)
 * Back to Dom0 : ctrl + ]
 * Back to Dom0 : ctrl + ]


 * List the VCPUs for all/some domains (xl vcpu-list)


 * Set which CPUs a VCPU can use (xl vcpu-pin   )


 * Create multiple domains (xl create)

DomD / DomU
-->
 * Attach to domain's console (xl console DomD)
 * Back to Dom0 : ctrl + ]
 * Attach to domain's console (xl console DomU)
 * Back to Dom0 : ctrl + ]
 * Ethernet TSN (DomD)
 * Ethernet TSN (DomU)
 * Ethernet TSN (DomD)
 * Ethernet TSN (DomU)
 * Ethernet TSN (DomU)