>>>>> "ALVI" == ALVI Aslam (MORPHO) <aslam.a...@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)
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to