Inferno operating system

1. REDIRECT Inferno (operating system)

{{R from modification}}