Axel Heider 02afe87a55 libsel4: use _Static_assert() if available ... Signed-off-by: Axel Heider <axelheider@gmx.de>		2021-04-01 10:33:41 +10: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: use _Static_assert() if available	2021-04-01 10:33:41 +10:00