HelenOS sources

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