{
    "corepkg": "microbit",
    "bundleddirs": [
        "libs/microbit",
        "libs/microbit-led",
        "libs/microbit-music",
        "libs/microbit-radio",
        "libs/microbit-game",
        "libs/microbit-pins",
        "libs/microbit-serial"
    ]
}