About the Debian GNU/Linux Port for OpenRISC Or1k | Hacker News Reader