diff --git a/os/lib/mk/nova/ldso-arch.mk b/os/lib/mk/nova/ldso-arch.mk new file mode 100644 index 0000000000..e32fe85aa6 --- /dev/null +++ b/os/lib/mk/nova/ldso-arch.mk @@ -0,0 +1,5 @@ +SRC_CC = parent_cap.cc binary_name.cc +LIBS = ldso_crt0 + +vpath parent_cap.cc $(REP_DIR)/src/lib/ldso/arch/nova +vpath binary_name.cc $(REP_DIR)/src/lib/ldso/arch diff --git a/os/src/lib/ldso/arch/nova/parent_cap.cc b/os/src/lib/ldso/arch/nova/parent_cap.cc new file mode 100644 index 0000000000..59dc2093f4 --- /dev/null +++ b/os/src/lib/ldso/arch/nova/parent_cap.cc @@ -0,0 +1,21 @@ +/* + * \brief Parent capability manipulation + * \author Alexander Boettcher + * \date 2012-08-13 + */ + +/* + * Copyright (C) 2009-2012 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. + */ + +#include + +void Genode::set_parent_cap_arch(void *ptr) +{ + /* Not required, determinig parent cap is done not using any exported + * symbols + */ +}