mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
NOVA: Fix ldso test for 64bit
The generic parent_cap.cc overwrote the beginning of the data segment with to much. Reserved are solely 16 byte, for 64bit we use however 32byte. Actually, the parent_cap copying is not required at all. The parent cap selector is at a fixed define place, so that no exported symbols are required for determination of the parent_cap. Remove it.
This commit is contained in:
parent
49786a7ca3
commit
47ef3bb1cb
5
os/lib/mk/nova/ldso-arch.mk
Normal file
5
os/lib/mk/nova/ldso-arch.mk
Normal file
@ -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
|
21
os/src/lib/ldso/arch/nova/parent_cap.cc
Normal file
21
os/src/lib/ldso/arch/nova/parent_cap.cc
Normal file
@ -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 <ldso/arch.h>
|
||||
|
||||
void Genode::set_parent_cap_arch(void *ptr)
|
||||
{
|
||||
/* Not required, determinig parent cap is done not using any exported
|
||||
* symbols
|
||||
*/
|
||||
}
|
Loading…
Reference in New Issue
Block a user