SOURCES += $(addprefix src/glue/v4-arm/,			\
	init.cc space.cc thread.cc exception.cc intctrl.cc	\
	resources.cc memcontrol.cc user.S traps.S)
  
SOURCES += $(addprefix src/generic/, linear_ptab_walker.cc	\
	    mapping.cc mapping_alloc.cc )
