On Thu, Jan 30, 2014 at 12:48:51PM +0000, Mark Hambleton wrote:
Will get the full kernel logs to you, can you send me the command you use to run the model?
I'm using:
~/models/FVP_Base_Cortex-A57-A53x14/models/Linux64_GCC-4.1/FVP_Base_Cortex-A57x4-A53x4 -C pctl.startup=0.0.0.0 -C bp.secure_memory=0 -C cache_state_modelled=1 -C bp.pl011_uart0.untimed_fifos=1 -C bp.secureflashloader.fname=bl1.bin -C bp.flashloader0.fname=uefi_fvp-base.bin -C bp.virtioblockdevice.image_path=sd.img