Wolfram Schneider 3ce0e3e0e9 fix `make -n' if using git ... PR: 222631		2017-09-28 17:00:22 +00:00
..
arch-handbook	Use 'struct thread' instead of 'd_thread_t' in example PCI driver.	2015-01-13 19:23:17 +00:00
handbook	fix `make -n' if using git	2017-09-28 17:00:22 +00:00
porters-handbook
Makefile
Makefile.inc