#SOURCES += $(addprefix src/arch/ia32/, init.cc)
