alcedo/boot.o