How to boot Xen on FVP(fast) model using ACPI and UEFI

This wiki page explains how to boot the Xen with ACPI on FVP(fast) model using UEFI. It is based on the wiki's [1] and [2], I have used the FVP_Base_AEMv8A-AEMv8A_0.8_5602 model. Note that all the FVP models are licensed models.

Build Xen

Clone the following repository and build the Xen hypervisor. At present the patches are not merged to the main repository.

If you get this error "warning: remote HEAD refers to nonexistent ref, unable to checkout", simply checkout the branch acpi-uefi-work-2-dtnodes

host$ git clone --branch acpi-uefi-work-2-dtnodes http://git.linaro.org/people/parth.dixit/xen-acpi-support/xen.git
host$ cd xen
xen$ make dist-xen XEN_TARGET_ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- CONFIG_EARLY_PRINTK=fastmodel

Build Linux

host$ git clone --branch dom0-test http://git.linaro.org/people/parth.dixit/xen-acpi-support/leg-kernel.git

Create a new kernel config:

leg-kernel$ ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- ./scripts/kconfig/merge_config.sh linaro/configs/linaro-base.conf linaro/configs/distribution.conf linaro/configs/vexpress64.conf linaro/configs/acpi.conf linaro/configs/efi.conf linaro/configs/xen.conf
leg-kernel$ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- Image -j4

Build UEFI and ATF (Arm Trusted) Firmware

Create a general directory to build the UEFI and ATF

Alternatively, you can download the binaries from here uefi binaries

host$ mkdir uefi-build
host$ cd uefi-build

Clone and create a branch for ATF

uefi-build$ git clone git://git.linaro.org/arm/arm-trusted-firmware.git
uefi-build$ cd arm-trusted-firmware
arm-trusted-firmware$ git checkout -b fvp-base origin/fvp-base

Clone uefi-tools

uefi-build$ git clone git://git.linaro.org/uefi/uefi-tools.git

Clone UEFI git repo and create a branch and compile UEFI.

uefi-build$ git clone --branch xen-acpi-uefi-15.12.2014 http://git.linaro.org/people/parth.dixit/xen-acpi-support/linaro-edk2.git

Build linaro-edk2 by running "tool-build-v8-fvp.sh" script present in linaro-edk2 folder.

Note, depending on your distro you may need to upgrade your iasl compiler to a recent version from Intel: https://www.acpica.org/downloads

Also note, that you need to compile this using GCC 4.8

linaro-edk2$ ./tool-build-v8-fvp.sh

After the build completes you will be able to see all the 3 binaries in the below path

host$ ls uefi-build/linaro/sims/ws64/
bl1.bin  fip.bin  FVP_AARCH64_EFI.fd 

Prepare a Filesystem

Download any latest filesystem from http://snapshots.linaro.org/kernel-hwpack/linux-leg-vexpress64 or http://snapshots.linaro.org/openembedded/pre-built/vexpress64/latest

Copy xen, linux kernel Image and xen.cfg (given below), into boot partition [1]. Use kpartx command on image as shown below

host$ sudo kpartx -a lt.img
host$ sudo mount /dev/mapper/loop0p1 /media/mount/
host$ sudo cp leg-kernel/arch/arm64/boot/Image /media/mount/
host$ sudo cp xen/xen/xen /media/mount/
host$ sudo cp xen.cfg /media/mount/
host$ sudo umount /media/mount
host$ sudo kpartx -d lt.img
host$ sh run-fvp.sh

Xen config xen.cfg

Xen boot on FVP base model using UEFI

Set the locations of fvp model,file system image and firmware binaries in the run-fvp.sh script given below

Script to run model run-fvp.sh

Run the model

uefi-build$ ./run-fvp.sh

On prompt select "2" to boot to UEFI shell.

On UEFI shell type following command

xen -cfg=xen.cfg

References

[1] https://wiki.linaro.org/LEG/Engineering/Kernel/ACPI/AcpiOnArmV8FvpUefi

[2] https://wiki.linaro.org/LEG/Engineering/Xen_boot_on_FVP_UEFI

Xen/DOM0 Output Log

UEFI Interactive Shell v2.0
EDK II
UEFI v2.40 (ARM Fixed Virtual Platform EFI Dec 15 2014 00:47:48, 0x00000000)
Mapping table
      FS2: Alias(s):F8:
Xen 4.5.0-rc (c/s Wed Nov 26 17:07:39 2014 +0530 git:80f7a21) EFI loader
Image: 0x00000008fa2ca000-0x00000008fac1a960
- UART enabled -
- CPU 00000000 booting -
- Current EL 00000008 -
- Xen starting at EL2 -
- Zero BSS -
- Setting up control registers -
- Turning on paging -
- Ready -
(XEN) Checking for initrd in /chosen
(XEN) RAM: 0000000080000000 - 0000000087ffffff
(XEN) RAM: 000000008c000000 - 00000000febe0fff
(XEN) RAM: 00000000febfb000 - 00000000feffffff
(XEN) RAM: 0000000880000000 - 00000008fa2c7fff
(XEN) RAM: 00000008fac1e000 - 00000008fac1efff
(XEN) RAM: 00000008fae24000 - 00000008faf1cfff
(XEN) RAM: 00000008fafaa000 - 00000008fe701fff
(XEN) RAM: 00000008fe702000 - 00000008fe779fff
(XEN) RAM: 00000008fe77a000 - 00000008fe7f1fff
(XEN) RAM: 00000008fe7f2000 - 00000008fe8eafff
(XEN) RAM: 00000008fe8eb000 - 00000008fe946fff
(XEN) RAM: 00000008fe947000 - 00000008fe9cdfff
(XEN) RAM: 00000008fe9ce000 - 00000008fe9d3fff
(XEN) RAM: 00000008fe9d4000 - 00000008ff738fff
(XEN) RAM: 00000008ff739000 - 00000008ff73cfff
(XEN) RAM: 00000008ff73d000 - 00000008ffdddfff
(XEN) RAM: 00000008ffdde000 - 00000008ffe95fff
(XEN) RAM: 00000008ffe96000 - 00000008fff6dfff
(XEN) RAM: 00000008fffff000 - 00000008ffffffff
(XEN) 
(XEN) MODULE[0]: 00000008fac1b000 - 00000008fac1e000 Device Tree  
(XEN) MODULE[1]: 00000008fa2ca000 - 00000008fac1a960 Kernel       console=hvc0 earlycon=pl011,0x1c090000 root=/dev/vda2 rw rootfstype=ext4 init=/bin/sh
(XEN) 
(XEN) Command line: xen console=dtuart dtuart=serial0 dom0_mem=256M dom0_max_vcpus=4 conswitch=x loglvl=all guest_loglvl=all no-bootscrub
(XEN) Placing Xen at 0x0000000087e00000-0x0000000088000000
(XEN) Update BOOTMOD_XEN from 00000008fac20000-00000008fad2ad81 => 0000000087e00000-0000000087f0ad81
(XEN) PFN compression on bits 20...22
(XEN) Domain heap initialised
(XEN) efi.mps    : 0x00000000
(XEN) efi.acpi   : 0xfebfa000
(XEN) efi.acpi20 : 0xfebfa014
(XEN) efi.smbios : 0x00000000
(XEN) ACPI: RSDP FEBFA014, 0024 (r2 LINARO)
(XEN) ACPI: XSDT FEBE1188, 00D4 (r1 LINARO RTSMVEV8        0       1000013)
(XEN) ACPI: FACP FEBF1000, 010C (r5 LINARO RTSMVEV8        0 INTL 20140828)
(XEN) ACPI: DSDT FEBF5000, 0DA8 (r2 LINARO RTSMVEV8        4 INTL 20140828)
(XEN) ACPI: APIC FEBF8000, 02A4 (r4 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: BERT FEBF7000, 0030 (r1 LINARO RTSMVEV8        2 INTL 20140828)
(XEN) ACPI: CPEP FEBF6000, 0034 (r1 LINARO RTSMVEV8        0 INTL 20140828)
(XEN) ACPI: ECDT FEBF4000, 0042 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: EINJ FEBF3000, 0130 (r1 LINARO RTSMVEV8        3 INTL 20140828)
(XEN) ACPI: ERST FEBF2000, 0230 (r1 LINARO RTSMVEV8        2 INTL 20140828)
(XEN) ACPI: FPDT FEBEF000, 0064 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: GTDT FEBEE000, 009C (r2 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: HEST FEBED000, 0068 (r1 LINARO RTSMVEV8        2 INTL 20140828)
(XEN) ACPI: MCFG FEBEC000, 003C (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: MCHI FEBEB000, 0045 (r1 LINARO RTSMVEV8  2000715 INTL 20140828)
(XEN) ACPI: MPST FEBEA000, 00B6 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: MSCT FEBE9000, 0090 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: OEM0 FEBE8000, 0024 (r1 LINARO RTSMVEV8        A INTL 20140828)
(XEN) ACPI: PMTT FEBE7000, 00B4 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: SLIT FEBE6000, 01BC (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: SPCR FEBE5000, 0050 (r1 LINARO RTSMVEV8        0 INTL 20140828)
(XEN) ACPI: SPMI FEBE4000, 0041 (r4 LINARO RTSMVEV8        0 INTL 20140828)
(XEN) ACPI: SRAT FEBE3000, 0080 (r3 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: SSDT FEBE2000, 0024 (r2 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: UEFI FEBF9000, 0036 (r1 LINARO RTSMVEV8        1 INTL 20140828)
(XEN) ACPI: GIC (acpi_id[0x0000] gic_id[0x0000] enabled)
(XEN) ACPI: GIC (acpi_id[0x0001] gic_id[0x0001] enabled)
(XEN) ACPI: GIC (acpi_id[0x0002] gic_id[0x0002] enabled)
(XEN) ACPI: GIC (acpi_id[0x0003] gic_id[0x0003] enabled)
(XEN) ACPI: GIC (acpi_id[0x0004] gic_id[0x0004] enabled)
(XEN) ACPI: GIC (acpi_id[0x0005] gic_id[0x0005] enabled)
(XEN) ACPI: GIC (acpi_id[0x0006] gic_id[0x0006] enabled)
(XEN) ACPI: GIC (acpi_id[0x0007] gic_id[0x0007] enabled)
(XEN) 8 CPUs available, 8 CPUs total
(XEN) Local APIC address 0x2c000000
(XEN) GICv2 initialization from ACPI MADT table :
(XEN)         gic_dist_addr=000000002f000000
(XEN)         gic_cpu_addr=000000002c000000
(XEN)         gic_hyp_addr=000000002c010000
(XEN)         gic_vcpu_addr=000000002c02f000
(XEN)         gic_maintenance_irq=25
(XEN) GICv2: 256 lines, 8 cpus, secure (IID 00000000).
(XEN) ACPI UART Init
(XEN) Looking for UART information in ACPI SPCR table 
(XEN) (I) interface_type 0=full 16550, 1=subset: 0
(XEN) (I) UART at address   : 0x1C090000
(XEN) (I) UART space_id     : 0
(XEN) (I) UART bit_width    : 8
(XEN) (I) UART bit_offset   : 0
(XEN) (I) UART access_width : 1
(XEN) (I) interrupt_type: 16
(XEN) (I) pc_interrupt  : 0
(XEN) (I) interrupt     : 37
(XEN) (I) baud_rate     : 7
(XEN) (I) parity        : 0
(XEN) (I) stop_bits     : 1
(XEN) (I) flow_control  : 0
(XEN) (I) terminal_type : 0
(XEN) Interface_type 0=full 16550
 Xen 4.5.0-rc
(XEN) Xen version 4.5.0-rc (parthd@) (aarch64-linux-gnu-gcc (Ubuntu/Linaro 4.8.2-13ubuntu1) 4.8.2 20140110 (prerelease) [ibm/gcc-4_8-branch merged from gcc-4_8-branch, revision 205847]) debug=y Mon Dec 15 14:01:30 IST 2014
(XEN) Latest ChangeSet: Wed Nov 26 17:07:39 2014 +0530 git:80f7a21
(XEN) Processor: 410fd0f0: "ARM Limited", variant: 0x0, part 0xd0f, rev 0x0
(XEN) 64-bit Execution:
(XEN)   Processor Features: 0000000001002222 0000000000000000
(XEN)     Exception Levels: EL3:64+32 EL2:64+32 EL1:64+32 EL0:64+32
(XEN)     Extensions: FloatingPoint AdvancedSIMD GICv3-SysReg
(XEN)   Debug Features: 00000000f0f0f106 0000000000000000
(XEN)   Auxiliary Features: 0000000000000000 0000000000000000
(XEN)   Memory Model Features: 0000000000001122 0000000000000000
(XEN)   ISA Features:  0000000000000000 0000000000000000
(XEN) 32-bit Execution:
(XEN)   Processor Features: 00000131:10011011
(XEN)     Instruction Sets: AArch32 A32 Thumb Thumb-2 Jazelle
(XEN)     Extensions: GenericTimer Security
(XEN)   Debug Features: 03010066
(XEN)   Auxiliary Features: 00000000
(XEN)   Memory Model Features: 10101105 20000000 01260000 02102111
(XEN)  ISA Features: 02101110 13112111 21232042 01112131 00011142 00000001
(XEN) Platform: VERSATILE EXPRESS
(XEN) Using PSCI-0.1 for SMP bringup
(XEN) Generic Timer IRQ from ACPI GTDT: phys=30 hyp=26 virt=27
(XEN) Using generic timer at 100000 KHz
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) I/O virtualisation disabled
(XEN) Allocated console ring of 32 KiB.
(XEN) Bringing up CPU1
- CPU 00000001 booting -
- Current EL 00000008 -
- Xen starting at EL2 -
- Setting up control registers -
- Turning on paging -
- Ready -
(XEN) CPU 1 booted.
(XEN) Bringing up CPU2
(XEN) Failed to bring up CPU2
(XEN) Failed to bring up CPU 2 (error -2)
(XEN) Bringing up CPU3
(XEN) Failed to bring up CPU3
(XEN) Failed to bring up CPU 3 (error -2)
(XEN) Brought up 2 CPUs
(XEN) P2M: 40-bit IPA with 40-bit PA
(XEN) P2M: 3 levels with order-1 root, VTCR 0x80023558
(XEN) *** LOADING DOMAIN 0 ***
(XEN) Loading kernel from boot module @ 00000008fa2ca000
(XEN) Allocating 1:1 mappings totalling 256MB for dom0:
(XEN) BANK[0] 0x00000090000000-0x000000a0000000 (256MB)
(XEN) efi.mps    : 0x00000000
(XEN) efi.acpi   : 0xfebfa000
(XEN) efi.acpi20 : 0xfebfa014
(XEN) efi.smbios : 0x00000000
(XEN) ERROR: IRQ 37 is already used by Xen
(XEN) Unable to route IRQ 37 to domain 0
(XEN) Loading zImage from 00000008fa2ca000 to 0000000090080000-00000000909d0960
(XEN) Loading dom0 DTB to 0x0000000098000000-0x000000009800016d
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input to Xen)
(XEN) Freed 276kB init memory.
(XEN) DOM0: [    0.000000] Linux version 3.18.0-rc5+ (parthd@parthd-ubunutu) (gcc version 4.8.2 20140110 (prerelease) [ibm/gcc-4_8-branch 
(XEN) DOM0: merged from gcc-4_8-branch, revision 205847] (Ubuntu/Linaro 4.8.2-13ubuntu1) ) #30 SMP PREEMPT Fri Dec 12 18:19:56 IST 2014
(XEN) DOM0: [    0.000000] CPU: AArch64 Processor [410fd0f0] revision 0
(XEN) DOM0: [    0.000000] Detected PIPT I-cache on CPU0
(XEN) DOM0: [    0.000000] Early serial console at I/O port 0x0 (options '')
(XEN) DOM0: [    0.000000] bootconsole [uart0] enabled
(XEN) DOM0: [    0.000000] efi: Getting EFI parameters from FDT:
(XEN) DOM0: [    0.000000] efi: UEFI not found.
(XEN) DOM0: [    0.000000] ACPI: Early table checksum verification disabled
(XEN) DOM0: [    0.000000] ACPI: RSDP 0x00000000FEBFA014 000024 (v02 LINARO)
(XEN) DOM0: [    0.000000] ACPI: XSDT 0x00000008FAFB2B00 0000E4 (v01 LINARO RTSMVEV8 00000000      01000013)
(XEN) DOM0: [    0.000000] ACPI: FACP 0x00000000FEBF1000 00010C (v05 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: DSDT 0x00000000FEBF5000 000DA8 (v02 LINARO RTSMVEV8 00000004 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: APIC 0x00000000FEBF8000 0002A4 (v04 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: BERT 0x00000000FEBF7000 000030 (v01 LINARO RTSMVEV8 00000002 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: CPEP 0x00000000FEBF6000 000034 (v01 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: ECDT 0x00000000FEBF4000 000042 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: EINJ 0x00000000FEBF3000 000130 (v01 LINARO RTSMVEV8 00000003 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: ERST 0x00000000FEBF2000 000230 (v01 LINARO RTSMVEV8 00000002 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: FPDT 0x00000000FEBEF000 000064 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: GTDT 0x00000000FEBEE000 00009C (v02 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: HEST 0x00000000FEBED000 000068 (v01 LINARO RTSMVEV8 00000002 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: MCFG 0x00000000FEBEC000 00003C (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: MCHI 0x00000000FEBEB000 000045 (v01 LINARO RTSMVEV8 02000715 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: MPST 0x00000000FEBEA000 0000B6 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: MSCT 0x00000000FEBE9000 000090 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: OEM0 0x00000000FEBE8000 000024 (v01 LINARO RTSMVEV8 0000000A INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: PMTT 0x00000000FEBE7000 0000B4 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: SLIT 0x00000000FEBE6000 0001BC (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: SPCR 0x00000000FEBE5000 000050 (v01 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: SPMI 0x00000000FEBE4000 000041 (v04 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: SRAT 0x00000000FEBE3000 000080 (v03 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: SSDT 0x00000000FEBE2000 000024 (v02 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: UEFI 0x00000000FEBF9000 000036 (v01 LINARO RTSMVEV8 00000001 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: XENV 0x00000008FAFB2C80 000030 (v01 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] ACPI: STAO 0x00000008FAFB2D80 000025 (v01 LINARO RTSMVEV8 00000000 INTL 20140828)
(XEN) DOM0: [    0.000000] psci: probing for conduit method from ACPI.
(XEN) DOM0: [    0.000000] psci: Using standard PSCI v0.2 function IDs
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0000] address[000000002c000000] MPDIR[0x0] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0001] address[000000002c000000] MPDIR[0x1] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0002] address[000000002c000000] MPDIR[0x2] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0003] address[000000002c000000] MPDIR[0x3] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0004] address[000000002c000000] MPDIR[0x100] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0005] address[000000002c000000] MPDIR[0x101] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0006] address[000000002c000000] MPDIR[0x102] enabled)
(XEN) DOM0: [    0.000000] ACPI: GICC (acpi_id[0x0007] address[000000002c000000] MPDIR[0x103] enabled)
(XEN) DOM0: [    0.000000] ACPI: 8 CPUs enabled, 8 CPUs total
(XEN) DOM0: [    0.000000] PERCPU: Embedded 14 pages/cpu @ffffffc00ff8a000 s19520 r8192 d29632 u57344
(XEN) DOM0: [    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 64640
(XEN) DOM0: [    0.000000] Kernel command line: console=hvc0 earlycon=pl011,0x1c090000 root=/dev/vda2 rw rootfstype=ext4 init=/bin/sh
(XEN) DOM0: [    0.000000] PID hash table entries: 1024 (order: 1, 8192 bytes)
(XEN) DOM0: [    0.000000] Dentry cache hash table entries: 32768 (order: 6, 262144 bytes)
(XEN) DOM0: [    0.000000] Inode-cache hash table entries: 16384 (order: 5, 131072 bytes)
(XEN) DOM0: [    0.000000] Memory: 236908K/262144K available (6415K kernel code, 454K rwdata, 2160K rodata, 504K init, 475K bss, 25236K re
(XEN) DOM0: served)
(XEN) DOM0: [    0.000000] Virtual kernel memory layout:
(XEN) DOM0: [    0.000000]     vmalloc : 0xffffff8000000000 - 0xffffffbdffff0000   (   247 GB)
(XEN) DOM0: [    0.000000]     vmemmap : 0xffffffbe00000000 - 0xffffffbfc0000000   (     7 GB maximum)
(XEN) DOM0: [    0.000000]               0xffffffbe01f80000 - 0xffffffbe02300000   (     3 MB actual)
(XEN) DOM0: [    0.000000]     PCI I/O : 0xffffffbffa000000 - 0xffffffbffb000000   (    16 MB)
(XEN) DOM0: [    0.000000]     fixed   : 0xffffffbffbdfe000 - 0xffffffbffbdff000   (     4 KB)
(XEN) DOM0: [    0.000000]     modules : 0xffffffbffc000000 - 0xffffffc000000000   (    64 MB)
(XEN) DOM0: [    0.000000]     memory  : 0xffffffc000000000 - 0xffffffc010000000   (   256 MB)
(XEN) DOM0: [    0.000000]       .init : 0xffffffc0008e1000 - 0xffffffc00095f000   (   504 KB)
(XEN) DOM0: [    0.000000]       .text : 0xffffffc000080000 - 0xffffffc0008e0f64   (  8580 KB)
(XEN) DOM0: [    0.000000]       .data : 0xffffffc00095f000 - 0xffffffc0009d0960   (   455 KB)
(XEN) DOM0: [    0.000000] Preemptible hierarchical RCU implementation.
(XEN) DOM0: [    0.000000] NR_IRQS:64 nr_irqs:64 0
(XEN) DOM0: [    0.000000] clocksource_of_init: no matching clocksources found
(XEN) DOM0: [    0.000000] Architected cp15 timer(s) running at 100.00MHz (virt).
(XEN) DOM0: [    0.000027] sched_clock: 56 bits at 100MHz, resolution 10ns, wraps every 2748779069440ns
(XEN) DOM0: [    0.004242] Console: colour dummy device 80x25
(XEN) DOM0: [    0.005243] Calibrating delay loop (skipped), value calculated using timer frequency.. 200.00 BogoMIPS (lpj=1000000)
(XEN) DOM0: [    0.007482] pid_max: default: 32768 minimum: 301
(XEN) DOM0: [    0.008621] ACPI: Core revision 20140926
(XEN) DOM0: [    0.025410] ACPI: All ACPI Tables successfully acquired
(XEN) DOM0: [    0.027130] Security Framework initialized
(XEN) DOM0: [    0.028081] AppArmor: AppArmor initialized
(XEN) DOM0: [    0.029316] Mount-cache hash table entries: 512 (order: 0, 4096 bytes)
(XEN) DOM0: [    0.030984] Mountpoint-cache hash table entries: 512 (order: 0, 4096 bytes)
(XEN) DOM0: [    0.035215] ftrace: allocating 22304 entries in 88 pages
(XEN) DOM0: [    0.227729] No CPU information found in DT
(XEN) DOM0: [    0.228829] hw perfevents: enabled with arm/armv8-pmuv3 PMU driver, 1 counters available
(XEN) DOM0: [    0.230837] EFI services will not be available.
(XEN) DOM0: [    0.231906] Please upgrade your Xen.
(XEN) DOM0: [    0.231906] If your platform has any non-coherent DMA devices, they won't work properly.
(XEN) DOM0: [    0.234715] xen:grant_table: Grant tables using version 1 layout
(XEN) DOM0: [    0.236114] Grant table initialized
(XEN) DOM0: [    0.236976] xen:events: Using FIFO-based ABI
(XEN) DOM0: [    0.238079] Xen: initializing cpu0
(XEN) DOM0: [    0.299579] CPU1: Booted secondary processor
(XEN) DOM0: [    0.299595] Detected PIPT I-cache on CPU1
(XEN) DOM0: [    0.299745] Xen: initializing cpu1
(XEN) DOM0: [    0.320196] CPU2: Booted secondary processor
(XEN) DOM0: [    0.320212] Detected PIPT I-cache on CPU2
(XEN) DOM0: [    0.320362] Xen: initializing cpu2
(XEN) DOM0: [    0.340355] CPU3: Booted secondary processor
(XEN) DOM0: [    0.340372] Detected PIPT I-cache on CPU3
(XEN) DOM0: [    0.340548] Xen: initializing cpu3
(XEN) DOM0: [    0.359850] _cpu_up: attempt to bring up CPU 4 failed
(XEN) DOM0: [    0.369967] _cpu_up: attempt to bring up CPU 5 failed
(XEN) DOM0: [    0.390016] _cpu_up: attempt to bring up CPU 6 failed
(XEN) DOM0: [    0.410172] _cpu_up: attempt to bring up CPU 7 failed
(XEN) DOM0: [    0.411390] Brought up 4 CPUs
(XEN) DOM0: [    0.412060] SMP: Total of 4 processors activated.
(XEN) DOM0: [    0.421699] devtmpfs: initialized
(XEN) DOM0: [    0.463010] xor: measuring software checksum speed
(XEN) DOM0: [    0.559765]    8regs     :   166.400 MB/sec
(XEN) DOM0: [    0.660103]    8regs_prefetch:   146.800 MB/sec
(XEN) DOM0: [    0.760459]    32regs    :   171.200 MB/sec
(XEN) DOM0: [    0.860807]    32regs_prefetch:   146.800 MB/sec
(XEN) DOM0: [    0.861825] xor: using function: 32regs (171.200 MB/sec)
(XEN) DOM0: [    0.864264] regulator-dummy: no parameters
(XEN) DOM0: [    0.868327] NET: Registered protocol family 16
(XEN) DOM0: [    0.874423] vdso: 2 pages (1 code @ ffffffc000965000, 1 data @ ffffffc000964000)
(XEN) DOM0: [    0.876418] hw-breakpoint: found 16 breakpoint and 16 watchpoint registers.
(XEN) DOM0: [    0.879911] software IO TLB [mem 0x9e000000-0x9e400000] (4MB) mapped at [ffffffc00e000000-ffffffc00e3fffff]
(XEN) DOM0: [    0.882506] DMA: preallocated 256 KiB pool for atomic allocations
(XEN) DOM0: [    0.884439] software IO TLB [mem 0x9d800000-0x9dc00000] (4MB) mapped at [ffffffc00d800000-ffffffc00dbfffff]
(XEN) DOM0: [    0.886531] Serial: AMBA PL011 UART driver
(XEN) DOM0: [    1.114113] raid6: int64x1     55 MB/s
(XEN) DOM0: [    1.285531] raid6: int64x2     65 MB/s
(XEN) DOM0: [    1.455813] raid6: int64x4     71 MB/s
(XEN) DOM0: [    1.626767] raid6: int64x8     58 MB/s
(XEN) DOM0: [    1.797888] raid6: neonx1     125 MB/s
(XEN) DOM0: [    1.969125] raid6: neonx2     151 MB/s
(XEN) DOM0: [    2.139886] raid6: neonx4     168 MB/s
(XEN) DOM0: [    2.310563] raid6: neonx8     152 MB/s
(XEN) DOM0: [    2.311399] raid6: using algorithm neonx4 (168 MB/s)
(XEN) DOM0: [    2.312478] raid6: using intx1 recovery algorithm
(XEN) DOM0: [    2.314241] ACPI: Added _OSI(Module Device)
(XEN) DOM0: [    2.315168] ACPI: Added _OSI(Processor Device)
(XEN) DOM0: [    2.316149] ACPI: Added _OSI(3.0 _SCP Extensions)
(XEN) DOM0: [    2.317185] ACPI: Added _OSI(Processor Aggregator Device)
(XEN) DOM0: [    2.322795] ACPI : EC: EC description table is found, configuring boot EC
(XEN) DOM0: [    2.333165] ACPI: Interpreter enabled
(XEN) DOM0: [    2.334002] ACPI: Using GIC for interrupt routing
(XEN) DOM0: [    2.399469] xen:balloon: Initialising balloon driver
(XEN) DOM0: [    2.407092] NetLabel: Initializing
(XEN) DOM0: [    2.407851] NetLabel:  domain hash size = 128
(XEN) DOM0: [    2.408803] NetLabel:  protocols = UNLABELED CIPSOv4
(XEN) DOM0: [    2.410086] NetLabel:  unlabeled traffic allowed by default
(XEN) DOM0: [    2.582758] Switched to clocksource arch_sys_counter
(XEN) DOM0: [    2.681196] AppArmor: AppArmor Filesystem Enabled
(XEN) DOM0: [    2.682570] pnp: PnP ACPI init
(XEN) DOM0: [    2.685064] pnp: PnP ACPI: found 0 devices
(XEN) DOM0: [    2.769102] NET: Registered protocol family 2
(XEN) DOM0: [    2.774072] TCP established hash table entries: 2048 (order: 2, 16384 bytes)
(XEN) DOM0: [    2.775936] TCP bind hash table entries: 2048 (order: 3, 32768 bytes)
(XEN) DOM0: [    2.777613] TCP: Hash tables configured (established 2048 bind 2048)
(XEN) DOM0: [    2.779048] TCP: reno registered
(XEN) DOM0: [    2.779795] UDP hash table entries: 256 (order: 1, 8192 bytes)
(XEN) DOM0: [    2.781165] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes)
(XEN) DOM0: [    2.783527] NET: Registered protocol family 1
(XEN) DOM0: [    2.786222] RPC: Registered named UNIX socket transport module.
(XEN) DOM0: [    2.787499] RPC: Registered udp transport module.
(XEN) DOM0: [    2.788525] RPC: Registered tcp transport module.
(XEN) DOM0: [    2.789554] RPC: Registered tcp NFSv4.1 backchannel transport module.
(XEN) DOM0: [    2.796964] futex hash table entries: 2048 (order: 5, 131072 bytes)
(XEN) DOM0: [    2.798820] audit: initializing netlink subsys (disabled)
(XEN) DOM0: [    2.800052] audit: type=2000 audit(2.650:1): initialized
(XEN) DOM0: [    2.809023] VFS: Disk quotas dquot_6.5.2
(XEN) DOM0: [    2.810292] Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
(XEN) DOM0: [    2.821243] NFS: Registering the id_resolver key type
(XEN) DOM0: [    2.822392] Key type id_resolver registered
(XEN) DOM0: [    2.823395] Key type id_legacy registered
(XEN) DOM0: [    2.824515] jffs2: version 2.2. (NAND) (SUMMARY)  © 2001-2006 Red Hat, Inc.
(XEN) DOM0: [    2.828127] msgmni has been set to 462
(XEN) DOM0: [    2.845341] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 253)
(XEN) DOM0: [    2.846969] io scheduler noop registered
(XEN) DOM0: [    2.847886] io scheduler deadline registered
(XEN) DOM0: [    2.849543] io scheduler cfq registered (default)
(XEN) DOM0: [    2.858371] xen:xen_evtchn: Event-channel device installed
[    3.297113] console [hvc0] enabled
(XEN) DOM0: [    3.297113] console [hvc0] enabled
[    3.297934] bootconsole [uart0] disabled
(XEN) DOM0: [    3.297934] bootconsole [uart0] disabled
[    3.342053] brd: module loaded
[    3.360958] loop: module loaded
[    3.365076]  vda: vda1 vda2
[    3.370173] mtdoops: mtd device (mtddev=name/number) must be supplied
[    3.370768] smc91x LNRO0003:00 (unnamed net_device) (uninitialized): smc91x: IOADDR ffffff8000100000 doesn't match configuration (300).
[    3.371021] smc91x.c: v1.1, sep 22 2004 by Nicolas Pitre <nico@fluxnic.net>
[    3.383510] smc91x LNRO0003:00 eth0: SMC91C11xFD (rev 1) at ffffff8000100000 IRQ 47
[    3.383670]  [nowait]
[    3.383772] smc91x LNRO0003:00 eth0: Ethernet addr: 00:02:f7:ef:67:e7
[    3.384267] xen_netfront: Initialising Xen virtual ethernet driver
[    3.387313] mousedev: PS/2 mouse device common for all mice
[    3.394427] device-mapper: ioctl: 4.28.0-ioctl (2014-09-17) initialised: dm-devel@redhat.com
[    3.395639] tuc: successfully loaded
[    3.396763] TCP: cubic registered
[    3.396896] Initializing XFRM netlink socket
[    3.397070] NET: Registered protocol family 17
[    3.397286] NET: Registered protocol family 15
[    3.397671] Key type dns_resolver registered
[    3.409310] Btrfs loaded
[    3.409716] AppArmor: AppArmor sha1 policy hashing enabled
[    3.413716] drivers/rtc/hctosys.c: unable to open rtc device (rtc0)
[    3.426867] EXT4-fs (vda2): recovery complete
[    3.427004] EXT4-fs (vda2): mounted filesystem with ordered data mode. Opts: (null)
[    3.427203] VFS: Mounted root (ext4 filesystem) on device 254:2.
[    3.427566] devtmpfs: mounted
[    3.428267] Freeing unused kernel memory: 504K (ffffffc0008e1000 - ffffffc00095f000)
sh: cannot set terminal process group (-1): Inappropriate ioctl for device
sh: no job control in this shell
sh-4.3# ls
EFI         dev         lib         mnt         sbin        usr
bin         etc         lost+found  proc        sys         var
boot        home        media       run         tmp
sh-4.3# pwd
/

LEG/Engineering/Xen_boot_on_FVP_ACPI_UEFI (last modified 2015-02-09 06:44:35)