oxidecomputer / hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Mozilla Public License 2.0
3.04k stars 180 forks source link

Fail to build if tasks may overflow #1890

Closed mkeeter closed 1 month ago

mkeeter commented 2 months ago

(details to come, but opening as a draft to see if any of the CI-checked builds fail)