genode/ports/src/noux
Norman Feske 652a4afd51 Intercept RAM and RM of Noux processes
By letting Noux processes talk to service implementations local to the
Noux server, we can track RAM allocations and RM operations. This is
needed as a prerequisite to implement fork.
2012-02-22 15:56:45 +01:00
..
args.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
child.h Intercept RAM and RM of Noux processes 2012-02-22 15:56:45 +01:00
directory_service.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
dummy_input_io_channel.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
environment.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
file_descriptor_registry.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
file_io_service.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
file_system.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
io_channel.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
main.cc Intercept RAM and RM of Noux processes 2012-02-22 15:56:45 +01:00
path.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pwd.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
range_checked_index.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
root_file_system.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
shared_pointer.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
signal_dispatcher.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
tar_file_system.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
target.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
terminal_io_channel.h Consider count_in in Noux terminal-read function 2012-01-28 02:54:29 +01:00
vfs_handle.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
vfs_io_channel.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
vfs.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
wake_up_notifier.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00