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

This wiki page explains how to boot the Xen on FVP(fast) model using UEFI. 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. You need a EFI_STUB support in Xen hypervisor. This support has been merged in the the Xen 4.5 staging branch as of commit 4c7d19b4da. This should migrate to the master branch shortly, and is expected to be in the 4.5 release.

host$ git clone git:// 
host$ cd xen
xen$ git checkout origin/staging
xen$ make dist-xen XEN_TARGET_ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- CONFIG_EARLY_PRINTK=fastmodel

Build Linux

host$ git clone git://
host$ cd linux

Create a new kernel config:

linux$ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- defconfig
linux$ sed -e 's/.*CONFIG_XEN is not set/CONFIG_XEN=y/g' -i .config
linux$ sed -e 's/.*CONFIG_BLK_DEV_LOOP is not set/CONFIG_BLK_DEV_LOOP=y/g' -i .config
linux$ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- oldconfig

Make sure to select Y to all Xen config options. I was facing the crash if I enable "UEFI runtime support" in linux kernel.

linux$ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- Image
linux$ cd ..

Build UEFI and ATF (Arm Trusted) Firmware

Create a general directory to build the UEFI and ATF

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

Clone and create a branch for ATF

host$ git clone git://
host$ cd arm-trusted-firmware
arm-trusted-firmware$ git branch fvp-base origin/fvp-base

Clone uefi-tools

uefi-build$ git clone ssh://

Create a directory for firmware

uefi-build$ mkdir -p linaro/sims/ws64

Clone UEFI git repo and create a branch and compile UEFI. Note that I have used latest linaro-edk2 release tag branch.

uefi-build$ git clone ssh://
uefi-build$ cd linaro-edk2
linaro-edk2$ git checkout linaro-edk2-2014.08 

Download, copy and modify the "" script according to your requirements.

Script to build UEFI for FVP :

Buid the linaro-edk2

linaro-edk2$ ./

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 or

Copy xen, linux kernel Image, xen.cfg, and DTB file into boot partition. Use kpartx command on image.

Xen config xen.cfg

If your EDK2 image does not provide a DTB for the platform using a configuration table, or if you need to override the one provided by firmware, you can specify a DTB to be loaded by adding a line like the following to the config file:


Xen boot on FVP base model using UEFI

The default boot selection will start in  10 seconds
[1] Linaro disk image on virtio
[2] Shell
[3] Boot Manager
UEFI Interactive Shell v2.0
UEFI v2.40 (ARM Fixed Virtual Platform EFI Aug 30 2014 21:08:12, 0x00000000)
Mapping table
      FS2: Alias(s):F8:
      FS0: Alias(s):F3:
      FS1: Alias(s):F4:
      FS3: Alias(s):HD12b:;BLK5:
     BLK3: Alias(s):
     BLK0: Alias(s):
     BLK1: Alias(s):
     BLK2: Alias(s):
     BLK4: Alias(s):
     BLK6: Alias(s):
Press ESC in 3 seconds to skip startup.nsh or any other key to continue.
Shell> xen -cfg=xen.cfg
Xen 4.5-unstable (c/s Mon Jul 21 14:25:14 2014 -0700 git:d2379be) EFI loader
xen.cfg: 0x00000008faa30000-0x00000008faa300e3
Using FDT from EFI configuration table
No #address-cells in chosen node, setting to 2
No #size-cells in chosen node, setting to 2
No ranges in chosen node, creating empty
Image: 0x00000000fe548000-0x00000000febdc7a0
- 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 - 00000000fe547fff
(XEN) RAM: 00000000febf9000 - 00000000febf9fff
(XEN) RAM: 00000000febfb000 - 00000000feffffff
(XEN) RAM: 0000000880000000 - 00000008faa2dfff
(XEN) RAM: 00000008fae24000 - 00000008faf1cfff
(XEN) RAM: 00000008fafaa000 - 00000008fe701fff
(XEN) RAM: 00000008fe702000 - 00000008fe779fff
(XEN) RAM: 00000008fe77a000 - 00000008fe7f1fff
(XEN) RAM: 00000008fe7f2000 - 00000008fe8eafff
(XEN) RAM: 00000008fe8eb000 - 00000008fe95afff
(XEN) RAM: 00000008fe95b000 - 00000008fe994fff
(XEN) RAM: 00000008fe995000 - 00000008fe9a1fff
(XEN) RAM: 00000008fe9a2000 - 00000008fe9adfff
(XEN) RAM: 00000008fe9ae000 - 00000008fe9b3fff
(XEN) RAM: 00000008fe9b4000 - 00000008ffdddfff
(XEN) RAM: 00000008ffdde000 - 00000008ffe95fff
(XEN) RAM: 00000008ffe96000 - 00000008fff6dfff
(XEN) RAM: 00000008fffff000 - 00000008ffffffff
(XEN) MODULE[0]: 00000000febdd000 - 00000000febe1000 Device Tree  
(XEN) MODULE[1]: 00000000fe548000 - 00000000febdc7a0 Kernel       
(XEN)  RESVD[0]: 0000000080000000 - 0000000080010000
(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 00000008fac00000-00000008facf8d81 => 0000000087e00000-0000000087ef8d81
(XEN) WARNING: only using 4 out of 19 memory banks
(XEN) Domain heap initialised
(XEN) Looking for UART console serial0
 Xen 4.5-unstable
(XEN) Xen version 4.5-unstable (nareshbhat@) (aarch64-linux-gnu-gcc (crosstool-NG linaro-1.13.1-4.8-2014.03 - Linaro GCC 2014.03) 4.8.3 20140303 (prerelease)) debug=y Fri Aug 29 10:15:22 IST 2014
(XEN) Latest ChangeSet: Mon Jul 21 14:25:14 2014 -0700 git:d2379be
(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
(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 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) Using PSCI for SMP bringup
(XEN) Generic Timer IRQ: phys=30 hyp=26 virt=27
(XEN) Using generic timer at 100000 KHz
(XEN) GICv2 initialization:
(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) 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
- CPU 00000002 booting -
- Current EL 00000008 -
- Xen starting at EL2 -
- Setting up control registers -
- Turning on paging -
- Ready -
(XEN) CPU 2 booted.
(XEN) Bringing up CPU3
- CPU 00000003 booting -
- Current EL 00000008 -
- Xen starting at EL2 -
- Setting up control registers -
- Turning on paging -
- Ready -
(XEN) CPU 3 booted.
(XEN) Brought up 4 CPUs
(XEN) Loading kernel from boot module @ 00000000fe548000
(XEN) Allocating 1:1 mappings totalling 256MB for dom0:
(XEN) BANK[0] 0x00000090000000-0x000000a0000000 (256MB)
(XEN) Loading zImage from 00000000fe548000 to 0000000090080000-00000000907147a0
(XEN) Loading dom0 DTB to 0x0000000098000000-0x0000000098001a9d
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input to Xen)
(XEN) Freed 252kB init memory.
(XEN) DOM0: Initializing cgroup subsys cpu
(XEN) DOM0: Linux version 3.17.0-rc1+ (nareshbhat@Latitude-E6430) (gcc version 4.8.3 20140303 (prerelease) (crosstool-NG linaro-1.13.1-4.8
(XEN) DOM0: -2014.03 - Linaro GCC 2014.03) ) #2 SMP PREEMPT Mon Sep 1 05:45:27 IST 2014
(XEN) DOM0: CPU: AArch64 Processor [410fd0f0] revision 0
(XEN) DOM0: Detected PIPT I-cache on CPU0
(XEN) DOM0: Early serial console at I/O port 0x0 (options '')
(XEN) DOM0: bootconsole [uart0] enabled
(XEN) DOM0: cma: Reserved 16 MiB at 9f000000
(XEN) DOM0: On node 0 totalpages: 65536
(XEN) DOM0:   DMA zone: 896 pages used for memmap
(XEN) DOM0:   DMA zone: 0 pages reserved
(XEN) DOM0:   DMA zone: 65536 pages, LIFO batch:15
(XEN) DOM0: psci: probing for conduit method from DT.
(XEN) DOM0: psci: Using PSCI v0.1 Function IDs from DT
(XEN) DOM0: PERCPU: Embedded 11 pages/cpu @ffffffc00efc4000 s13952 r8192 d22912 u45056
(XEN) DOM0: pcpu-alloc: s13952 r8192 d22912 u45056 alloc=11*4096
(XEN) DOM0: pcpu-alloc: [0] 0 [0] 1 [0] 2 [0] 3 
(XEN) DOM0: Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 64640
(XEN) DOM0: Kernel command line: console=hvc0 earlycon=pl011,0x1c090000 root=/dev/vda2 debug rw
(XEN) DOM0: log_buf_len individual max cpu contribution: 4096 bytes
(XEN) DOM0: log_buf_len total cpu_extra contributions: 12288 bytes
(XEN) DOM0: log_buf_len min size: 16384 bytes
(XEN) DOM0: log_buf_len: 32768 bytes
(XEN) DOM0: early log buf free: 14928(91%)
(XEN) DOM0: PID hash table entries: 1024 (order: 1, 8192 bytes)
(XEN) DOM0: Dentry cache hash table entries: 32768 (order: 6, 262144 bytes)
(XEN) DOM0: Inode-cache hash table entries: 16384 (order: 5, 131072 bytes)
(XEN) DOM0: Memory: 223792K/262144K available (4564K kernel code, 317K rwdata, 1624K rodata, 221K init, 210K bss, 38352K reserved)
(XEN) DOM0: Virtual kernel memory layout:
(XEN) DOM0:     vmalloc : 0xffffff8000000000 - 0xffffffbdffff0000   (   247 GB)
(XEN) DOM0:     vmemmap : 0xffffffbe00000000 - 0xffffffbfc0000000   (     7 GB maximum)
(XEN) DOM0:               0xffffffbe01f80000 - 0xffffffbe02300000   (     3 MB actual)
(XEN) DOM0:     PCI I/O : 0xffffffbffa000000 - 0xffffffbffb000000   (    16 MB)
(XEN) DOM0:     fixed   : 0xffffffbffbdfe000 - 0xffffffbffbdff000   (     4 KB)
(XEN) DOM0:     modules : 0xffffffbffc000000 - 0xffffffc000000000   (    64 MB)
(XEN) DOM0:     memory  : 0xffffffc000000000 - 0xffffffc010000000   (   256 MB)
(XEN) DOM0:       .init : 0xffffffc00068d000 - 0xffffffc0006c4680   (   222 KB)
(XEN) DOM0:       .text : 0xffffffc000080000 - 0xffffffc00068c114   (  6193 KB)
(XEN) DOM0:       .data : 0xffffffc0006c5000 - 0xffffffc0007147a0   (   318 KB)
(XEN) DOM0: SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=4, Nodes=1
(XEN) DOM0: Preemptible hierarchical RCU implementation.
(XEN) DOM0:     RCU restricting CPUs from NR_CPUS=8 to nr_cpu_ids=4.
(XEN) DOM0: RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=4
(XEN) DOM0: NR_IRQS:64 nr_irqs:64 0
(XEN) DOM0: Architected cp15 and mmio timer(s) running at 100.00MHz (virt/phys).
(XEN) DOM0: sched_clock: 56 bits at 100MHz, resolution 10ns, wraps every 2748779069440ns
(XEN) DOM0: Console: colour dummy device 80x25
(XEN) DOM0: allocated 4194304 bytes of page_cgroup
(XEN) DOM0: please try 'cgroup_disable=memory' option if you don't want memory cgroups
(XEN) DOM0: Calibrating delay loop (skipped), value calculated using timer frequency.. 200.00 BogoMIPS (lpj=1000000)
(XEN) DOM0: pid_max: default: 32768 minimum: 301
(XEN) DOM0: Security Framework initialized
(XEN) DOM0: Mount-cache hash table entries: 512 (order: 0, 4096 bytes)
(XEN) DOM0: Mountpoint-cache hash table entries: 512 (order: 0, 4096 bytes)
(XEN) DOM0: Initializing cgroup subsys memory
(XEN) DOM0: Initializing cgroup subsys hugetlb
(XEN) DOM0: hw perfevents: enabled with arm/armv8-pmuv3 PMU driver, 1 counters available
(XEN) DOM0: Xen 4.5 support found, events_irq=31 gnttab_frame=0x00000000b0000000
(XEN) DOM0: xen:grant_table: Grant tables using version 1 layout
(XEN) DOM0: Grant table initialized
(XEN) DOM0: xen:events: Using FIFO-based ABI
(XEN) DOM0: Xen: initializing cpu0
(XEN) DOM0: CPU1: Booted secondary processor
(XEN) DOM0: Detected PIPT I-cache on CPU1
(XEN) DOM0: Xen: initializing cpu1
(XEN) DOM0: CPU2: Booted secondary processor
(XEN) DOM0: Detected PIPT I-cache on CPU2
(XEN) DOM0: Xen: initializing cpu2
(XEN) DOM0: CPU3: Booted secondary processor
(XEN) DOM0: Detected PIPT I-cache on CPU3
(XEN) DOM0: Xen: initializing cpu3
(XEN) DOM0: Brought up 4 CPUs
(XEN) DOM0: SMP: Total of 4 processors activated.
(XEN) DOM0: devtmpfs: initialized
(XEN) DOM0: regulator-dummy: no parameters
(XEN) DOM0: NET: Registered protocol family 16
(XEN) DOM0: vdso: 2 pages (1 code @ ffffffc0006cd000, 1 data @ ffffffc0006cc000)
(XEN) DOM0: hw-breakpoint: found 16 breakpoint and 16 watchpoint registers.
(XEN) DOM0: software IO TLB [mem 0x9d000000-0x9d400000] (4MB) mapped at [ffffffc00d000000-ffffffc00d3fffff]
(XEN) DOM0: software IO TLB [mem 0x9cc00000-0x9d000000] (4MB) mapped at [ffffffc00cc00000-ffffffc00cffffff]
(XEN) DOM0: Serial: AMBA PL011 UART driver
(XEN) DOM0: of_amba_device_create(): amba_device_add() failed (-19) for /smb/motherboard/iofpga@3,00000000/sysctl@020000
(XEN) DOM0: 1c0a0000.uart: ttyAMA1 at MMIO 0x1c0a0000 (irq = 38, base_baud = 0) is a PL011 rev2
(XEN) DOM0: 1c0b0000.uart: ttyAMA2 at MMIO 0x1c0b0000 (irq = 39, base_baud = 0) is a PL011 rev2
(XEN) DOM0: 1c0c0000.uart: ttyAMA3 at MMIO 0x1c0c0000 (irq = 40, base_baud = 0) is a PL011 rev2
(XEN) DOM0: xen:balloon: Initialising balloon driver
(XEN) DOM0: xen_balloon: Initialising balloon driver
(XEN) DOM0: 3V3: 3300 mV 
(XEN) DOM0: SCSI subsystem initialized
(XEN) DOM0: libata version 3.00 loaded.
(XEN) DOM0: usbcore: registered new interface driver usbfs
(XEN) DOM0: usbcore: registered new interface driver hub
(XEN) DOM0: usbcore: registered new device driver usb
(XEN) DOM0: Switched to clocksource arch_sys_counter
(XEN) DOM0: NET: Registered protocol family 2
(XEN) DOM0: TCP established hash table entries: 2048 (order: 2, 16384 bytes)
(XEN) DOM0: TCP bind hash table entries: 2048 (order: 3, 32768 bytes)
(XEN) DOM0: TCP: Hash tables configured (established 2048 bind 2048)
(XEN) DOM0: TCP: reno registered
(XEN) DOM0: UDP hash table entries: 256 (order: 1, 8192 bytes)
(XEN) DOM0: UDP-Lite hash table entries: 256 (order: 1, 8192 bytes)
(XEN) DOM0: NET: Registered protocol family 1
(XEN) DOM0: RPC: Registered named UNIX socket transport module.
(XEN) DOM0: RPC: Registered udp transport module.
(XEN) DOM0: RPC: Registered tcp transport module.
(XEN) DOM0: RPC: Registered tcp NFSv4.1 backchannel transport module.
(XEN) DOM0: kvm [1]: HYP mode not available
(XEN) DOM0: futex hash table entries: 1024 (order: 4, 65536 bytes)
(XEN) DOM0: audit: initializing netlink subsys (disabled)
(XEN) DOM0: audit: type=2000 audit(0.500:1): initialized
(XEN) DOM0: HugeTLB registered 2 MB page size, pre-allocated 0 pages
(XEN) DOM0: fuse init (API version 7.23)
(XEN) DOM0: 9p: Installing v9fs 9p2000 file system support
(XEN) DOM0: msgmni has been set to 469
(XEN) DOM0: io scheduler noop registered
(XEN) DOM0: io scheduler cfq registered (default)
(XEN) DOM0: xen:xen_evtchn: Event-channel device installed
console [hvc0] enabled
(XEN) DOM0: console [hvc0] enabled
bootconsole [uart0] disabled
(XEN) DOM0: bootconsole [uart0] disabled
Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
loop: module loaded
 vda: vda1 vda2
tun: Universal TUN/TAP device driver, 1.6
tun: (C) 1999-2004 Max Krasnyansky <>
smc91x 1a000000.ethernet (unnamed net_device) (uninitialized): smc91x: IOADDR ffffff800005a000 doesn't match configuration (300).
smc91x.c: v1.1, sep 22 2004 by Nicolas Pitre <>
smc91x 1a000000.ethernet eth0: SMC91C11xFD (rev 1) at ffffff800005a000 IRQ 47

smc91x 1a000000.ethernet eth0: Ethernet addr: 00:02:f7:ef:67:e7
xen_netfront: Initialising Xen virtual ethernet driver
usbcore: registered new interface driver usb-storage
mousedev: PS/2 mouse device common for all mice
usbcore: registered new interface driver usbhid
usbhid: USB HID core driver
TCP: cubic registered
NET: Registered protocol family 17
9pnet: Installing 9P2000 support
registered taskstats version 1
EXT3-fs (vda2): error: couldn't mount because of unsupported optional features (240)
EXT2-fs (vda2): error: couldn't mount because of unsupported optional features (240)
EXT4-fs (vda2): mounted filesystem with ordered data mode. Opts: (null)
VFS: Mounted root (ext4 filesystem) on device 254:2.
devtmpfs: mounted
Freeing unused kernel memory: 220K (ffffffc00068d000 - ffffffc0006c4000)
INIT: version 2.88 booting
Mounting local filesystems...
Starting udev
udev: using cache file /etc/dev.tar
udevd[638]: starting version 182
Activating swap
EXT4-fs (vda2): re-mounted. Opts: (null)
Starting Bootlog daemon: bootlogd.
Initializing random number generator...
random: dd urandom read with 14 bits of entropy available
Populating volatile Filesystems.
net.ipv4.conf.default.rp_filter = 1
net.ipv4.conf.all.rp_filter = 1
System time was Thu Jan  1 00:00:03 UTC 1970.
Setting the System Clock using the Hardware Clock as reference...
hwclock: can't open '/dev/misc/rtc': No such file or directory
System Clock set. System local time is now Thu Jan  1 00:00:03 UTC 1970.
Sun Jul 27 14:13:18 UTC 2014
Saving the System Clock time to the Hardware Clock...
hwclock: can't open '/dev/misc/rtc': No such file or directory
Hardware Clock updated to Sun Jul 27 14:13:18 UTC 2014.
INIT: Entering runlevel: 5
Configuring network interfaces... smc91x 1a000000.ethernet eth0: link up, 10Mbps, half-duplex, lpa 0x0000
udhcpc (v1.22.1) started
Sending discover...
Sending discover...
Sending discover...
No lease, forking to background
Starting system message bus: dbus.
Starting OpenBSD Secure Shell server: sshd
Starting rpcbind daemon...rpcbind: cannot create socket for udp6
rpcbind: cannot create socket for tcp6
creating NFS state directory: done
starting statd: done
System time was Sun Jul 27 14:13:29 UTC 2014.
Setting the System Clock using the Hardware Clock as reference...
hwclock: can't open '/dev/misc/rtc': No such file or directory
System Clock set. System local time is now Sun Jul 27 14:13:29 UTC 2014.
NFS daemon support not enabled in kernel
Starting syslogd/klogd: done
 * Starting Avahi mDNS/DNS-SD Daemon: avahi-daemon                       [ ok ]
Starting php-fpm  done
140727 14:13:30 mysqld_safe Logging to '/var/log/mysqld.err'.
Starting Gator: gatord... depmod: ERROR: could not open directory /lib/modules/3.17.0-rc1+: No such file or directory
depmod: FATAL: could not search modules: No such file or directory
Starting web server: apache2140727 14:13:31 mysqld_safe Starting mysqld daemon with databases from /var/mysql
Starting auto-serial-console: done
Stopping Bootlog daemon: 
Last login: Sun Jul 27 14:13:31 UTC 2014 on tty1
INIT: no more processes left in this runlevel
root@genericarmv8:~# uname -a
Linux genericarmv8 3.17.0-rc1+ #2 SMP PREEMPT Mon Sep 1 05:45:27 IST 2014 aarch64 GNU/Linux
root@genericarmv8:~# cat /proc/cpuinfo 
features        : fp asimd evtstrm

processor       : 0
implementer     : 0x41
variant         : 0x0
partnum         : 0xd0f
revision        : 0x0

processor       : 1
implementer     : 0x41
variant         : 0x0
partnum         : 0xd0f
revision        : 0x0

processor       : 2
implementer     : 0x41
variant         : 0x0
partnum         : 0xd0f
revision        : 0x0

processor       : 3
implementer     : 0x41
variant         : 0x0
partnum         : 0xd0f
revision        : 0x0


LEG/Engineering/Xen_boot_on_FVP_UEFI (last modified 2015-04-21 06:31:48)