genode/repos/ports/src
Christian Helmuth b1dd5fdf1d Prevent warning in libc_noux
__INT_MAX__ equals 2147483647 which are roughly 68 years.
2015-07-07 19:48:07 +02:00
..
app Replace Nic driver interface by customizable component 2015-07-01 14:46:16 +02:00
lib Prevent warning in libc_noux 2015-07-07 19:48:07 +02:00
noux vfs: decouple file-system factory from libc 2015-06-09 11:00:10 +02:00
noux-pkg tool_chain: update GCC to version 4.9.2 2015-05-26 09:39:49 +02:00
test vbox_pointer: policy-based shape selection 2015-06-22 14:43:36 +02:00
virtualbox vbox: Fix VMM startup failure message 2015-07-01 14:46:15 +02:00