run seL4 on pandaboard
14 Nov
2014
14 Nov
'14
5:38 p.m.
Hi, I have built an image for my pandaboard, but I have no bootelf u-boot command, I use go command instead, get the following error: Panda # fatload mmc 0 0x82000000 sel4test-driver-image-arm-omap3 Panda # go 0x82008000 ## Startting application at 0x82008000 ... after this message, the system is dead. How to do next? Xilong Pei Tongji University 2014/11/14
3688
Age (days ago)
3688
Last active (days ago)
0 comments
1 participants
participants (1)
-
Pei.XiLong(裴喜龙)