Stefan Lankes e4d5236fe4 Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel		2017-06-15 00:11:48 +02:00
..
include/asm	the device discovery alg. checks also the PCI subsystem id	2017-06-05 11:12:36 +02:00
kernel	mov wakeup_core to task.c	2017-06-14 23:29:59 +02:00
libkern	remove obsolete makefiles	2017-04-11 12:45:07 +02:00
loader	remove compiler warnings	2017-06-15 00:11:17 +02:00
mm	remove compiler warnings	2017-06-05 11:14:04 +02:00
CMakeLists.txt	cmake: initial support for CMake build system	2017-04-03 18:14:56 +02:00