Fill the gap between MirageOS and Gilbraltar

dinosaure / gilbraltar

MirageOS on RPi4

ISC License

58 stars 4 forks source link

Fill the gap between MirageOS and Gilbraltar #2

Open dinosaure opened 2 years ago

dinosaure commented 2 years ago

a mirage-gilbraltar, as a mirage-solo5 should exists and we should extend targets inside the mirage/mirage project. However, I think we must implement yield before to be able to launch lwt.

dinosaure commented 2 years ago

Currently, we have a mirage-gilbraltar and a PR is already done on the mirage side: mirage/mirage#1253. However, I will consider that everything will be done if we can bring our mirage-tcpip stack into gilbraltar via mirage configure -t rpi4. In that case, the gap will be filled!