{
    "os-getSPICEConsole": {
        "type": "spice-html5"
    }
}