Raspberry Pi port, piCore-15.0 is available!
And where do I get kernel source, is it this one ?
as --help
But then install just fails (as per attached screenshot)