genode/repos/os/src
Josef Söntgen fb1c504568 gpu: the Intel multiplexer is only for x86_64
Require x86_64 because memory/adress space limitations on x86_32
restrict the use-cases on such a platform anyway. Doing that,
we can also assume that memory adresses are always 64bit long and
do not have to handle 32bit adresses.
2018-01-17 12:14:43 +01:00
..
app os: component to reflect ROMs as reports 2018-01-17 12:14:37 +01:00
drivers gpu: the Intel multiplexer is only for x86_64 2018-01-17 12:14:43 +01:00
init Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
lib net-stat: remove as it is not used and outdated 2018-01-17 12:14:42 +01:00
server net: check packet data size in accessor 2018-01-17 12:14:41 +01:00
test Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00