diff --git a/repos/ports/src/noux/child.h b/repos/ports/src/noux/child.h index 005ff205d..c1e33a967 100644 --- a/repos/ports/src/noux/child.h +++ b/repos/ports/src/noux/child.h @@ -36,9 +36,7 @@ #include #include #include - #include -#include #include namespace Noux { @@ -214,7 +212,7 @@ namespace Noux { Session_capability const _noux_session_cap; Local_noux_service _local_noux_service; - Local_ram_service _local_ram_service; + Parent_service _parent_ram_service; Local_cpu_service _local_cpu_service; Local_rm_service _local_rm_service; Local_rom_service _local_rom_service; @@ -363,7 +361,7 @@ namespace Noux { _sysio(_sysio_ds.local_addr()), _noux_session_cap(Session_capability(_entrypoint.manage(this))), _local_noux_service(_noux_session_cap), - _local_ram_service(_entrypoint), + _parent_ram_service(""), _local_cpu_service(_entrypoint, _resources.cpu.cpu_cap()), _local_rm_service(_entrypoint, _resources.ds_registry), _local_rom_service(_entrypoint, _resources.ds_registry), @@ -382,10 +380,7 @@ namespace Noux { _child(forked ? Dataspace_capability() : _elf._binary_ds, _pd.cap(), _resources.ram.cap(), _resources.cpu.cap(), _resources.rm.cap(), &_entrypoint, &_child_policy, - /** - * Override the implicit assignment to _parent_service - */ - _local_ram_service, _local_cpu_service, _local_rm_service) + _parent_ram_service, _local_cpu_service, _local_rm_service) { if (verbose) _args.dump(); diff --git a/repos/ports/src/noux/local_ram_service.h b/repos/ports/src/noux/local_ram_service.h deleted file mode 100644 index 6f6f925f1..000000000 --- a/repos/ports/src/noux/local_ram_service.h +++ /dev/null @@ -1,56 +0,0 @@ -/* - * \brief RAM service provided to Noux processes - * \author Josef Soentgen - * \date 2013-04-16 - */ - -/* - * Copyright (C) 2013 Genode Labs GmbH - * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. - */ - -#ifndef _NOUX__LOCAL_RAM_SERVICE_H_ -#define _NOUX__LOCAL_RAM_SERVICE_H_ - -/* Genode includes */ -#include - -/* Noux includes */ -#include - -namespace Noux { - - class Local_ram_service : public Service - { - private: - - Rpc_entrypoint &_ep; - - public: - - Local_ram_service(Rpc_entrypoint &ep) - : - Service(Ram_session::service_name()), _ep(ep) - { } - - Genode::Session_capability session(const char *args, Affinity const &) - { - PDBG("Implement me!"); - return Genode::Session_capability(); - } - - void upgrade(Genode::Session_capability, const char *args) - { - PDBG("Implement me!"); - } - - void close(Genode::Session_capability session) - { - PDBG("Implement me!"); - } - }; -} - -#endif /* _NOUX__LOCAL_RAM_SERVICE_H_ */