Jeremiah Orians a704d133a1 Add support for get_machine to return the Operating system kernel před 6 roky
..
.gitignore 0ac828f413 Adding a More advanced example ARM test and fixing some bugs před 6 roky
cleanup.sh 0ac828f413 Adding a More advanced example ARM test and fixing some bugs před 6 roky
hello.M1 0ac828f413 Adding a More advanced example ARM test and fixing some bugs před 6 roky
hello.sh a704d133a1 Add support for get_machine to return the Operating system kernel před 6 roky
proof.answer 2d39555830 Make ARM tests more formal and automatic on ARM systems před 6 roky