BLE support?

Hello,
I was successful in making run the OpenSK full stack on a nRF52840 DK - great job guys!
I am wondering how easily can we make same stack run but in order to go over USB we go over BLE channel?
Did a lot of research work already and it seems Tock OS already BLE enabled somehow.

../OpenSK/third_party/tock/boards/nordic/nrf52840dk/src/main.rs, line #385

Namely:

let ble_radio =
nrf52_components::BLEComponent::new(board_kernel, &nrf52840::ble_radio::RADIO, mux_alarm)
.finalize(());

I'd like to ask here effort this would be to make OpenSK work over BLE instead over USB as of today, what exactly must be done in a few words and if after all this is possible and makes sense. Already went checking at the Solo end as well who provide similar FIDO2 stack but in C and that seems quite easy to port on e.g. a native Nordic Zephyr OS - now I like your setup and it works.
Please advise quickly since I do this for an evaluation job where I've to take some decisions, thank you!

Best, Chris