This is really interesting! Congrats on securing grant funding - I can't wait to see what MirageOS becomes.
(Speaking of grants, does anyone know any funding opportunities similar to NGI Pointer but in the US?)
US government supports one of the biggest open-tech funds which unfortunately has been on pause since last year: https://news.ycombinator.com/item?id=23636498
These are not US-only but worth a look nevertheless: