Hackernews posts about Inferno OS

1. Porting Inferno OS to Raspberry Pi (github.com)
   68 points by rcarmo almost 2 years ago | 15 comments
2. Release pico · caerwynj/inferno-OS (github.com)
   3 points by rcarmo 12 months ago | discuss