转载至:https://source2014.hackpad.com/seL4--IJItb9IDncR
... <testcase classname="sel4test" name="TEST_IPC0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000445e4 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0004d000-->00165df8 <system-out> TEST_IPC0001 </system-out> ... <testcase classname="sel4test" name="TEST_CNODEOP00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000445e4 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0004d000-->00165df8 <system-out> TEST_CNODEOP0001 </system-out> </testcase> </testsuite> 126/126 tests passed. All is well in the universe.
這時候可以準備執行 pkill qemu-system-arm
ML_PLATFORM="x86_64-linux" ML_HOME="/home/jserv/.isabelle/contrib/polyml-5.5.1-1/x86_64-linux" ML_SYSTEM="polyml-5.5.1" ML_OPTIONS="-H 2000" Session Pure/Pure Session HOL/HOL (main) Session HOL/HOL-Word (main) Building Pure ... Finished Pure (1:36:49 elapsed time, 0:00:51 cpu time, factor 0.00) Building HOL ... HOL: theory Code_Generator HOL: theory HOL HOL: theory SATz