search

stevenvar / OMicroB

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

Microbit without mbed #25

Closed Vertmo closed 2 years ago

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.

Naereen commented 6 days ago

Hi there, Do you think this port to ARM micro:bit could work (without too much efforts) for Numworks calculators? They run a ARMv7 Cortex-M 32bit processor, with 256 kb of Ram. See https://discuss.ocaml.org/t/could-we-add-a-tiny-ocaml-interpreter-to-numworks-graphical-calculators/7652/11 for the ongoing discussion. Thanks in advance! @Naereen