| { | |
| "kernel": "NATKERNEL v3.0", | |
| "architecture": "x86 32-bit", | |
| "modules": 37, | |
| "ir_kinds": [ | |
| "define", | |
| "typedef", | |
| "struct", | |
| "extern", | |
| "inline", | |
| "loop", | |
| "if", | |
| "return" | |
| ], | |
| "N": 7, | |
| "law": "N=7 \u2208 [4,12]", | |
| "capabilities": { | |
| "filesystem": "VFS open/read/write/close/list (real)", | |
| "scheduler": "spawn/tick/yield (real)", | |
| "memory": "page allocator + free (real)", | |
| "crypto": "SHA-256, HMAC-SHA256, AES-256, RNG (real)", | |
| "shell": "interactive with readline, write/cat/ls/ps/hash/mem/spawn", | |
| "boot": "QEMU multiboot, compiles with gcc -m32" | |
| }, | |
| "build": "cd from_linux && make && make run", | |
| "author": "Josue Argana Silguero", | |
| "license": "MII Open License v1.0" | |
| } |