{
    "boot": {
        "core-file": "kernel.core.umps",
        "load-core-file": true
    },
    "bootstrap-rom": "/usr/share/umps3/coreboot.rom.umps",
    "clock-rate": 1,
    "devices": {
        "terminal0": {
            "enabled": true,
            "file": "term0.umps"
        }
    },
    "execution-rom": "/usr/share/umps3/exec.rom.umps",
    "num-processors": 1,
    "num-ram-frames": 64,
    "symbol-table": {
        "asid": 64,
        "file": "kernel.stab.umps"
    },
    "tlb-floor-address": "0x80000000",
    "tlb-size": 16
}