[seL4] Re: kernel builds w/ different memory configurations

Yes, that was a better approach. Thank you! On Mon, Jan 23, 2023 at 2:37 PM Axel Heider <axelheider@gmx.de> wrote:

Sam,

...

I have a target platform w/ 2 pre-defined memory configs. I've created separate .dts files w/ the different memory sizes and then in src/plat/sparrow/config.cmake do:> if(KernelDebugBuild) list(APPEND KernelDTSList "tools/dts/sparrow-debug.dts") else() list(APPEND KernelDTSList "tools/dts/sparrow.dts") Overloading KernelDebugBuild is awkward (it seems contrary to it's purpose) and fragile. How is this handled for existing platforms?

You could try using "KernelCustomDTSOverlay", which came in from https://github.com/seL4/seL4/pull/628.

Axel