Raspberry Pi port, piCore-15.0 is available!
Hi xorYou need to specify architecture (ARM, x86, x86_64) and version (TC9, TC10, dcore).
pkgs.org looks to be a site that lists packages for various distros...