| .. |
|
.gitignore
|
0a930aa473
Fix license headers
|
6 年之前 |
|
cleanup.sh
|
0a930aa473
Fix license headers
|
6 年之前 |
|
hello.sh
|
a704d133a1
Add support for get_machine to return the Operating system kernel
|
6 年之前 |
|
hex.M1
|
0a930aa473
Fix license headers
|
6 年之前 |
|
hex0.hex0
|
0a930aa473
Fix license headers
|
6 年之前 |
|
hex1.hex0
|
0a930aa473
Fix license headers
|
6 年之前 |
|
proof1.answer
|
db999a350a
Create a make as a test AMD64/ELF hex1 implemented in Hex0
|
7 年之前 |
|
proof2.answer
|
db999a350a
Create a make as a test AMD64/ELF hex1 implemented in Hex0
|
7 年之前 |
Jeremiah Orians
a704d133a1
Add support for get_machine to return the Operating system kernel