Hi everybody, especially the kernel gurus!

Building a current kernel doesn't work any more:
..
iomd_io.o: Undefined symbol `_iomd_bs_map' referenced from data segment
iomd_io.o: Undefined symbol `_iomd_bs_unmap' referenced from data segment
iomd_io.o: Undefined symbol `_iomd_bs_subregion' referenced from data segment
iomd_io.o: Undefined symbol `_iomd_bs_alloc' referenced from data segment
iomd_io.o: Undefined symbol `_iomd_bs_free' referenced from data segment
iomd_io.o: Undefined symbol `_iomd_bs_barrier' referenced from data segment
*** Error code 1

Maybe Jason Thorpe's changes recently were incomplete? I got this problem
the first time after he did them.
I can't find these symbols anywhere else in the /sys/arch/arm32 branch.
I already forced sup to update it completely.
-- 
So long, Markus

PGP key available on request or from
my homepage at http://www.gp.fht-esslingen.de/students/emw4maba