From 9c0ced0a85217302ee32ccad623e91cbb22b5d49 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 28 Nov 2014 12:23:30 +0100 Subject: [PATCH] ldso: add __L4_ThreadSwitch to ldso symbol.map This wasn't necessary before because we built an l4 library for Pistachio and linked it against each application. With the new linker, we compile the required files from within Genode and create a syscall library that is only linked to ldso. If a program uses system calls directly, for example, DDE kit's spinlock implementation, the required symbols must be made globally accessible. Fixes #1306 --- repos/base/src/lib/ldso/symbol.map | 3 +++ 1 file changed, 3 insertions(+) diff --git a/repos/base/src/lib/ldso/symbol.map b/repos/base/src/lib/ldso/symbol.map index 578bcd3ef..76f311809 100644 --- a/repos/base/src/lib/ldso/symbol.map +++ b/repos/base/src/lib/ldso/symbol.map @@ -77,6 +77,9 @@ Kernel::*; }; + /* Pistachio */ + __L4_ThreadSwitch; + local: /*