beaglebone: use the DMTIMER0 for the preemptive scheduler
treebe04e5298d352952c3215b81b0024ce15035f9b2
-rw-r--r-- 17291 HelenOS.config
-rw-r--r-- 3747 Makefile
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1939 version