Alexander Boettcher 7536b665f1 core: avoid null pointer reference warning ...

Issue #3022

2019-01-07 12:25:44 +01:00

..

base

core: avoid null pointer reference warning

2019-01-07 12:25:44 +01:00

ld/sel4

Genode application binary interface (ABI)

2016-12-23 16:50:28 +01:00