This repository provides additional opam pakcages required to try MirageOS/Solo5 porting to embedded MCUs.
- New binding/tender named 'frt' in Solo5 is introduced
- Check the solo5-embedded repository
- TI AM64x Cortex(r)-R5 core
- NXP i.MX RT1176 Cortex(r)-M7 core
- Debug console
- Network port (single port only)
- ocaml (with ARMv7-R support)
- mirage, mirage-runtime, functoria, functoria-runtime (with Solo5 frt support)
- mirage-clock, mirage-clock-solo5 (with Solo5 frt support)
- mirage-crypto, mirage-crypto-ec, mirage-crypto-pk, mirage-crypto-rng, mirage-crypto-rng-async, mirage-crypto-rng-eio, mirage-crypto-rng-mirage (with Solo5 frt support)
- mirage-solo5 (with Solo5 frt support)
- mirage-console-solo5 (with Solo5 frt support)
- mirage-net-solo5 (with Solo5 frt support)
- ocaml-solo5 (with Solo5 frt support)
- solo5 (with Solo5 frt support)
- solo5-frt-am64x-r5 (TI AM64x/Cortex(r)-R5F specific files for Solo5 frt)
- solo5-frt-rt1176-m7 (NXP i.MX RT1176/Cortex(r)-M7 specific files for Solo5 frt)
- conf-frt (MCU selection functionality for Solo5 frt)