/ inferno-os / os / boot / pc