genode/base-nova/include/nova
Alexander Boettcher 4960370602 NOVA: fix some enum *_MASK to fit for 32 as 64 bit
The BASE_MASK and QUANTUM_MASK fitted only for 32 bit, for 64 bit
they are bigger. Adjust them to fit for both architectures.
2012-07-23 14:05:58 +02:00
..
stdint.h Use NOVA microkernel from github, add 64bit 2012-06-20 19:44:07 +02:00
syscall-generic.h NOVA: fix some enum *_MASK to fit for 32 as 64 bit 2012-07-23 14:05:58 +02:00