Alexander Boettcher 67864d35f1 Structures must be dense packed, issue #248 ... Take care that utcb, hip, crd structure are dense packed by compiler.		2012-06-20 19:44:07 +02:00
..
stdint.h	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
syscall-generic.h	Structures must be dense packed, issue #248	2012-06-20 19:44:07 +02:00