Christian Helmuth e60b597af5 linux: 32-bit compatibility with GCC versions before 7 ...

GCC version 7 and above generate calls to __divmoddi for 64bit integer
division on 32-bit. Unfortunately, libgcc liberaries of older compilers
lack this symbol and are still in use by Debian/Ubuntu LTS at least.

2019-05-27 14:52:52 +02:00

..

core

trace: support more facets of execution time

2019-04-09 12:30:34 +02:00

include

base/os: remove deprecated APIs

2019-02-26 14:44:15 +01:00

ld

linux: stack-area handling with recent Linux kernels

2017-10-05 17:40:00 +02:00

lib

linux: 32-bit compatibility with GCC versions before 7

2019-05-27 14:52:52 +02:00

test

Add missing override annotations

2019-02-19 11:12:11 +01:00

timer/linux

timeout: use uint64_t for all plain time values

2019-05-06 16:15:26 +02:00