Re: [seL4] RefOS Building and Execution Error
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
"ALVI" == ALVI Aslam (MORPHO) <aslam.alvi@idemia.com> writes:
ALVI> Hello Peter, Thank you for your support, I will try to run RefOS ALVI> as per your instructions. I have also updated the RefOS at my ALVI> local repo to make it runnable with default.xml And it working ALVI> fine. If you want I can push my changes to you. Please create a pull request, so we can review the changes. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)
participants (2)
-
ALVI Aslam (MORPHO) -
Peter.Chubb＠data61.csiro.au