Is there a way to disable the Bootvar parsing? Some platforms don't give you control of what kernel arguments you get, and if functoria can't parse them then the unikernel is unbootable. Qubes, for example, passes lots of arguments intended for Linux. As a work-around, I manually edit my main.ml after running mirage to:

let argv_xen1 = lazy (return (`Ok [| "" |]))