genode/ports/src
Markus Partheymüller b8eb9b534d Switch to Seoul VMM repository instead of NUL
In this version of the transition the Hip structure from Genode is reused,
@nfeskes seoul_libc_support is used for the string functions and the
nul/config.h is replaced by just using a constant value in the one place where
the file was needed.

Related to #666.
2013-03-18 13:09:45 +01:00
..
app Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
lib Turn 'platform_env.h' into a private header 2013-02-14 13:23:36 +01:00
noux Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
noux-pkg Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
test Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
vancouver Switch to Seoul VMM repository instead of NUL 2013-03-18 13:09:45 +01:00