On Sat, Jan 18, 2020 at 7:36 PM Immanuel, Yehowshua U <yimmanuel3 at gatech.edu> wrote: > If we go with POWER architecture, we’ll have a lot more work to do. I > could only find a basic Linux kernel available for POWER and no packages > nor HDL reference implmentations. > https://www.debian.org/ports/powerpc/