mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-01 16:42:06 +00:00
9c0ced0a85
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
This directory contains all source codes.