Home Explore Help
Sign In
deesix
/
mescc-tools
mirror of https://git.savannah.nongnu.org/git/mescc-tools.git
Watch 1
Star 0
Fork 0
Files
Tree: 7aa76b1243
Branches Tags
mescc-tools
/
test
/
test12
Jeremiah Orians a704d133a1 Add support for get_machine to return the Operating system kernel 6 years ago
..
.gitignore 0ac828f413 Adding a More advanced example ARM test and fixing some bugs 6 years ago
cleanup.sh 0ac828f413 Adding a More advanced example ARM test and fixing some bugs 6 years ago
hello.M1 0ac828f413 Adding a More advanced example ARM test and fixing some bugs 6 years ago
hello.sh a704d133a1 Add support for get_machine to return the Operating system kernel 6 years ago
proof.answer 2d39555830 Make ARM tests more formal and automatic on ARM systems 6 years ago