Jeremiah Orians
a704d133a1
Add support for get_machine to return the Operating system kernel
|
6 anos atrás | |
|---|---|---|
| .. | ||
| .gitignore | 6 anos atrás | |
| cleanup.sh | 6 anos atrás | |
| hello.sh | 6 anos atrás | |
| proof.answer | 6 anos atrás | |
| sample.M1 | 6 anos atrás | |
| test.answers | 6 anos atrás | |