Is there any chance we can keep support for the “core” as part of workbench?
realistically, no.
that said, you should be able to lean on WB's support for custom Device OS builds:
https://support.particle.io/hc/en-us/articles/360039251434/#working-with-a-custom-device-os-build
you'll need to add / replace the <device-os-repo>/.workbench/manifest.json
file (depending on the version of Device OS you need to run) with one that looks like:
{
"version": "1.0.0",
"toolchains": [
{
"firmware": "deviceOS@source",
"compilers": "gcc-arm@5.3.1",
"debuggers": "openocd@0.11.2-adhoc6ea4372.0",
"platforms": [1],
"scripts": "buildscripts@1.9.2",
"tools": "buildtools@1.1.1"
}
],
"platforms": [
{
"id": 1,
"name": "core",
"generation": 1
}
]
}
...or something along those lines - you'll have to experiment a bit to find the right settings. this approach is better in that you won't have to reapply changes when WB updates.