search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 12 forks source link

Micropython makefile: remove target suffix from libmicrokitco object file #80

Closed dreamliner787-9 closed 3 months ago