I'm currently in the process of integrating the micro:bit port (not using MbedOS). There are a few broken things, because I haven't yet integrated the circuit library, but they should be manageable.
Also, I'm using a bit of code from J. M. Spivey (https://spivey.oriel.ox.ac.uk/corner/Digital_Systems), we should ask for permission / see which licence notice are necessary (for now I simply left his copyright notice at the top of the relevant files)
The issue of GADT will arise again when we'll start thinking about reintegrating the Circuit library, because the type pin described for micro:bit doesn't have any parameters.
Vertmo
commented
4 years ago
I'm currently in the process of integrating the micro:bit port (not using MbedOS). There are a few broken things, because I haven't yet integrated the circuit library, but they should be manageable. Also, I'm using a bit of code from J. M. Spivey (https://spivey.oriel.ox.ac.uk/corner/Digital_Systems), we should ask for permission / see which licence notice are necessary (for now I simply left his copyright notice at the top of the relevant files)
The issue of GADT will arise again when we'll start thinking about reintegrating the Circuit library, because the type pin described for micro:bit doesn't have any parameters.