I'd highly recommend any students who have a spare summer coming up to
apply. Bonus points for any brave souls that propose combining Frenetic
and MirageOS into an OCaml monster that will take over the Internet :-)

LOL

In any case, that'd be an interesting project to combine Frenetic with MirageOS.

-Marco