Updating src tree: P src/distrib/evbarm/gzboot/gzimg/Makefile P src/distrib/evbarm/instkernel/instkernel/Makefile U src/doc/CHANGES-5.0 P src/sys/arch/arm/gemini/obio_wdt.c Updating xsrc tree: Killing core files: