Hi I am wondering if there is a "system friendly" way to invalidate caches? I am running self compiling instructions that needs it. Right now (on aarch64 Genode/Linux) I use __internal___clear_cache but that is unbelievable slow. I use genode api to allocate executable ram. Br Michael