R-Car/Boards/S4SK-Proto-Xen

Introduction
This page is Xen for the R-Car S4 Starter Kit prototype board.

R-Car S4 Starter Kit prototype board specification & linux BSP
See here

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

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. sudo apt-get install gawk wget git-core diffstat unzip texinfo gcc-multilib \ build-essential chrpath socat cpio python3 python3-pip python3-pexpect \ xz-utils debianutils iputils-ping python3-git python3-jinja2 libegl1-mesa \ libsdl1.2-dev pylint3 xterm libarchive-zip-perl

Build Procedure

 * 1) Download Xen enviroment for S4 SK prototype board
 * [[File: Script_xen_s4sk.zip]]
 * 1) Run the script
 * 2) Output
 * 3) You can verify its content:
 * 1) You can verify its content:
 * 1) You can verify its content:

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)