Debian -- Ports Skip Quicknav Blog Micronews Planet Wiki Ports Ports Introduction List of official ports List of other ports Introduction As most of you know, Linux is just a kernel. And, for a long time, the Linux kernel ran only on the Intel x86 series of machines, from the 386…

…iginal on June 27, 2012 . Retrieved July 4, 2012 . ^ "Project:PowerPC" . Gentoo Wiki . Archived from the original on January 15, 2018 . Retrieved January 14, 2018 . ^ "MintPPC" . Archived from the original on October 13, 2010 . Retrieved October 3, 2010 . ^ "Chapter 1. Architectu…