/ inferno-3e / os / boot