/ inferno-os / libsec / Inferno-mips