BUILD_OK
open(/dev/mfisyspd0) failed: No such file or directory  <- hardware-gated guest
EXIT=2