TImada / mirage-embedded-repo

Additional opam repository of MirageOS/Solo5 supporting MCUs

mirage-embedded-repo

This repository provides additional opam pakcages required to try MirageOS/Solo5 porting to embedded MCUs.

Porting details

• New binding/tender named 'frt' in Solo5 is introduced
• Check the solo5-embedded repository

Supported MCUs

• TI AM64x Cortex(r)-R5 core
• NXP i.MX RT1176 Cortex(r)-M7 core

Supported peripheral devices

• Debug console
• Network port (single port only)

How to use

• TI AM64x Cortex(r)-R5 core
• NXP i.MX RT1176 Cortex(r)-M7 core

Added packages in this repository

• 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)