> > > > deb-pkg is using kernels infos to find the debian host architecture but > looks like it knows only arm/armel. There's a KBUILD_DEBARCH to force > an arch, maybe you can try something like that: > $ KBUILD_DEBARCH=armhf make deb-pkg > Thanks, that work-around worked splendidly. Paul