diff --git a/repos/base/src/lib/ldso/symbol.map b/repos/base/src/lib/ldso/symbol.map index 578bcd3efd..76f311809e 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: /*