Yes, that was a better approach. Thank you! On Mon, Jan 23, 2023 at 2:37 PM Axel Heider <axelhei...@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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
