Re: [seL4] RefOS Building and Execution Error
13 Feb
2018
13 Feb
'18
12:24 a.m.
Hello Peter, Thank you for your support, I will try to run RefOS as per your instructions. I have also updated the RefOS at my local repo to make it runnable with default.xml And it working fine. If you want I can push my changes to you. Thanks & Regards, Aslam
2963
Age (days ago)
2963
Last active (days ago)
1 comments
2 participants
participants (2)
-
ALVI Aslam (MORPHO) -
Peter.Chubb＠data61.csiro.au