seL4/libsel4/include
Kent McLeod e798f0e7b0 libsel4: Remove weak def of __sel4_ipc_buffer
This symbol definition leads to an additional thread local storage
allocation for each object file that includes this header file. Then
when the final executable is linked, the weak symbol references are all
replaced by the global symbol declared by libsel4 in sel4_bootinfo.c.
The net result is unnecessarily large thread local storage being
required for each thread.

Signed-off-by: Kent McLeod <kent@kry10.com>
2020-12-08 09:56:49 +11:00
..
api Add 2 new benchmark utilization syscalls 2020-07-15 15:15:27 +10:00
interfaces Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
sel4 libsel4: Remove weak def of __sel4_ipc_buffer 2020-12-08 09:56:49 +11:00