I'm creating a new project that uses existing libraries,
e.g. seL4_libs/libsel4utils, a header page_dma.h, because I want to use dma
in my IO transfer. When I include header page_dma.h in question, at line
15, is pulled in. There are 100s of autoconf.h files (usually
auto-generated ones in kernel binaries) and I have no idea which one should
be included and how to setup -I option for gcc to include it. Can anyone
educate me on it? Thanks very much!
Chris
ninja output:
[1/9] Building C object
apps/sel4test-driver/fat32-sel4/CMakeFiles/fat32-sel4.dir/src/interfaces/sel4.c.obj
FAILED:
apps/sel4test-driver/fat32-sel4/CMakeFiles/fat32-sel4.dir/src/interfaces/sel4.c.obj
/usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc
--sysroot=/home/chris/sel4_test/tqma8xqp_build
-I/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/inc
-I/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/config
-I/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/../../../sel4_projects_libs/libsdhcdrivers/include/sdhc
-I/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/../../../util_libs/libplatsupport/include
-I/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/../../../util_libs/libutils/include
-Iapps/sel4test-driver/musllibc/build-temp/stage/include -march=armv8-a
-D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie -fno-stack-protector
-fno-asynchronous-unwind-tables -ftls-model=local-exec -mstrict-align
-std=gnu11 -MD -MT
apps/sel4test-driver/fat32-sel4/CMakeFiles/fat32-sel4.dir/src/interfaces/sel4.c.obj
-MF
apps/sel4test-driver/fat32-sel4/CMakeFiles/fat32-sel4.dir/src/interfaces/sel4.c.obj.d
-o
apps/sel4test-driver/fat32-sel4/CMakeFiles/fat32-sel4.dir/src/interfaces/sel4.c.obj
-c
/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/src/interfaces/sel4.c
In file included from
/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/src/interfaces/sel4.c:12:
/home/chris/sel4_test/projects/sel4test/apps/fat32-sel4/src/interfaces/../../../../../seL4_libs/libsel4utils/include/sel4utils/page_dma.h:15:10:
fatal error: autoconf.h: No such file or directory
15 | #include
