beagleboardxm.h 36 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c #include <arch/mach/beagleboardxm/beagleboardxm.h> beagleboardxm.h 43 kernel/arch/arm32/src/machine_func.c #include <arch/mach/beagleboardxm/beagleboardxm.h>HelenOS homepage, sources at GitHub