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