Alexander Boettcher 0c2adf7ddd Msg_words are 16 bit, adjust bit mask.		2012-06-20 19:44:08 +02:00
..
stdint.h	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
syscall-generic.h	Msg_words are 16 bit, adjust bit mask.	2012-06-20 19:44:08 +02:00