Xen ARM Project

Contents

Xen ARM Project

Xen-ARM is called originally Secure Xen on ARM which consists of Xen on ARM VMM and the associated access control.

Contributing

Please email xen-arm@lists.xensource.com with comments, questions, and patches. For patches, please prefix the email subject with "[patch]". Use http://lists.xensource.com/xen-arm to subscribe and to access the archives.

Current Status

Secure Xen on ARM supports the ARM 9 processor family, specific platforms we test/run on are:

Freescale i.MX 21 Development Board

Major feature list:

Open source Secure Xen on ARM at June 2008
Features	Updating page table by hypercall
	Static domain memory partition
	Bringing up 2 mini-os
	Guest OS system time keeping
	Own implementation of domain 0 operations
	Access Control (Type Enforcement, BLP)
	Secure boot/storage

Bug Tracking

We are using the main Xen bugzilla bugtracking system: all ARM bugs. Please create an account so that bugs may be assigned to you.

How To Get, Build and Run Secure Xen on ARM

Our code has been merged upstream into xen-unstable.hg. However, there will always be work in the ARM-specific tree that hasn't been merged, so most users should stick with the Mercurial trees listed here:

More details on how to obtain the source, build and run are found:

Secure Xen on ARM User's Guide: Secure_Xen_on_ARM_User_Guide_v1_1.pdf

New platform support - Goldfish (QEMU 0.82 based Android emulator):

Patching the QEMU: qemu-xen_arm-081120.tar.bz2
Some source codes of emulator are modified in order to make the emulator load two mini-os images into RAM before executing Secure Xen on ARM.
More details on how to run Secure Xen on ARM on modified Goldfish emulator are found in the section A.2 of user guide.

Para-virtualized uC/OS-II RTOS:

Source codes: ucos_ii_xen_on_arm.zip
Readme file: readme.txt

Roadmap

	2008		2009
	June	~ 4Q	~2Q
VMM	Supporting 2 mini-os operation	Supporting para-virtualizied Linux & device driver	Catching up Xen mainline version
	Guest OS timekeeping	Supporting Xen tools	Enhanced embedded system support
	Static domain memory partition	Supporting Xen console	Power management, ARM 11 support
Security	Access Control (TE, BLP)
Security	Bootloader level Secure boot/storage