4 Commits

Author	SHA1	Message	Date
Kaspar Schleiser	9082273746	core: header cleanup	2016-02-28 22:46:28 +01:00
Joakim Gebart	e9c567107d	all: remove extra blank lines at the end	2015-05-09 09:10:08 +02:00
Oleg Hahm	983d056c75	core: harmonizes the data type for the process ID ... Instead of using differing integer types use kernel_pid_t for process identifier. This type is introduced in a new header file to avoid circular dependencies.	2014-08-01 12:02:54 +02:00
René Kijewski	4e4f908379	Initial import of the x86 port ... Currently this works only in qemu.	2014-05-25 13:40:29 +02:00