Re: [Arm-dev] Kernel ?