. . . "Inferno operating system" . . . . . . . . . . . . "Inferno (operating system)" . . . . . . . . . . . . . . . . . . . "4th Edition" . . . . . . . "Inferno kernel" . . . . . . . . . . . . . . . . "Inferno (operating system)" . . . . . . . . . . . . . . . . "2015-03-28" . . "Current" . . . . . . "Inferno" .