Thanks .. was reading help and not help config. Side question: My app needs to flush cpu caches , can do without but it would be great if it worked.
I get this error: ep: not entitled to do kernel call
Can I allow this in some way?
Michael
On Fri, 12 Jan 2024 at 15:32, Johannes Schlatow johannes.schlatow@genode-labs.com wrote:
Hi Michael,
you have to set the `arch` variable. Have a look at `goa help config`.
Johannes
On 12/01/2024 13:43, Michael Grunditz wrote:
Hi
I have in the past compiled stuff with Goa targeting armv8. But now I can't find info about how to do that. The toolchain goa wants to use is x86. I guess there is variable I need to have , but I don't know what.
Any hints? Michael
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users