search

stevenvar / OMicroB

An OCaml generic virtual machine for microcontrollers
Other
138 stars 23 forks source link

WIP: Microbit without mbed #21

Closed Vertmo closed 5 years ago

Vertmo commented 5 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.

Vertmo commented 5 years ago

By mistake, this PR targetted the wrong branch. The correct PR is #22