Add GDB support for debugging preemptive kernel
-rw-r--r-- 128 .gdbinit
-rw-r--r-- 52468 Doxyfile
-rw-r--r-- 17992 LICENSE.GPL
-rw-r--r-- 438 Makefile
-rw-r--r-- 201 Makefile.test
-rw-r--r-- 4002 README.bertos
drwxr-xr-x - app
drwxr-xr-x - bertos
drwxr-xr-x - doc
drwxr-xr-x - test