> Upps, for some reason the export for those symbols was disabled some > long time ago. I think it's not necessary (anymore). Please just remove > the CONFIG_L4 ifndef guards for __raw_writesl etc in > arch/l4/kernel/arch-arm/armksyms.c. Thank you Adam, this solved it. Manolis