I have port micobit to Seeed Arch BLE, it run very well now.
I have made some modify in configuration and pinmap, to fit Seeed Arch BLE board.
It also can run in Seeed Arch Link.
Firmware
https://github.com/shaoziyang/MicroPyth ... eedArchBLE