/ inferno-2e / os / boot / pc