The makefile function for object files seems to be broken. In the makefile
 the dependency looks ok
 
 et5025.o: $S/dev/isa/et5025.o
         $(NORMAL_O)
 
 should be 
         cp $S/dev/isa/et5025.o .
 
but there is no definition for NORMAL_O. Is there a template for the
makefile where this can be corrected so that it doesn't have to be done
every time you build  a kernel? Or is there a separate mechanism in place
for object modules?

thanks

Dennis