var group__debugconsole =
[
    [ "Semihosting", "group__Semihosting.html", null ]
];