[ pdsouza ~ ] $ model_shell FastModels/FastModelsPortfolio_8.3/examples/FVP_VE/Build_Cortex-A15x1/Linux-Release-GCC-4.4/cadi_system_Linux-Release-GCC-4.4.so \
					-C cluster.cpu0.semihosting-cmd_line="\
						--kernel /path/to/xen.git/xen/xen \
						--module /path/to/linux.git/arch/arm/boot/zImage \
						--dtb /path/to/linux-linaro-stable.git/arch/arm/boot/dts/rtsm_ve-cortex_a15x1.dtb" \
					-C motherboard.mmc.p_mmc_file="/path/to/dom0.img" \
					-V /path/to/boot-wrapper.git/linux-system-semi.axf
Processing command line parameter values
terminal_0: Listening for serial connection on port 5000
terminal_1: Listening for serial connection on port 5001
terminal_2: Listening for serial connection on port 5002
terminal_3: Listening for serial connection on port 5003
Simulation is started
[bootwrapper] Loaded kernel: /path/to/xen.git/xen/xen
[bootwrapper] Loaded module: /path/to/linux.git/arch/arm/boot/zImage
[bootwrapper] Loaded FDT: /path/to/linux-linaro-stable.git/arch/arm/boot/dts/rtsm_ve-cortex_a15x1.dtb
[bootwrapper] FDT updated.
WARNING: motherboard.mmc: 0x200 (512)-byte block read starting at 0x000000002f400000 will end beyond the end of the card at 0x2f400000
uncaught exception, aborting fibre