MinixInit

open fun MinixInit()