[seL4] RefOS Building and Execution Error

Peter.Chubb at data61.csiro.au Peter.Chubb at data61.csiro.au
Tue Feb 13 08:10:17 AEDT 2018

>>>>> "ALVI" == ALVI Aslam (MORPHO) <aslam.alvi at 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)

More information about the Devel mailing list