Axel Heider 4d1da1002b libsel4: use sel4/config.h instead of autoconf.h ...

Make sel4/config.h the only file to eventually include autoconf.h

Signed-off-by: Axel Heider <axelheider@gmx.de>

2023-04-24 23:02:12 +10:00

..

constants.h

libsel4: use sel4/config.h instead of autoconf.h

2023-04-24 23:02:12 +10:00