/ inferno-2e / os / boot