On Wed, 9 Feb 2022, 11:46 christinefragoso--- via Devel, <devel(a)sel4.systems>
I want to run my C++ project in a camkes image for
i.mx6. This image
should be statically linked.
I have a camkes app in https://github.com/seL4/camkes-manifest
. The app's
CMakeLists.txt includes my project with
which is a simple DDS example
that also uses CMake as its build system. The entire app is built with
../init-build.sh -DPLATFORM=sabre -DCAMKES_APP=dds.
However, the build fails.
1. My project includes <stdint.h>, but sel4 uses the -nostdinc and
-nostdinc++ flags, so I get the error "stdint.h: No such file or
directory". How do I make my C++ project include seL4's musllibc instead?
The muslc library should be a link dependency and it's headers available to
include if the component is being built as a camkes component. If it's
include paths aren't showing up on the command line then you could try
explicitly adding it. It's "muslc" within the cmake project scope so
it as a link dependency on your library may be what's missing.
2. My project includes other C++ headers like <functional>. Is there any
way to build seL4 with C++ headers?
Others appear to have been successful with this in the past without
significant additional effort. You need to add the include paths for C++
headers and link arguments manually. Either by creating a cmake imported
library and doing the same thing as muslc or by just adding include paths
and link arguments to the target you want to compile with C++.
Sorry this is a bit vague, but I've not set C++ up for seL4 before myself.
The sel4test project compiles a test with C++ but it doesn't use C++
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems