/ inferno-2e / os / boot / sa1100