mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 12:40:15 +01:00
The whole current port gets slurped into a static lib named "libmicropython.a". Maybe that's not ideal, but at least something to start with.
1.5 KiB
1.5 KiB