Hi, > a) ‘math(EXPR KernelPaddrUserTop "(1 << 40) - 1")’ > to ‘set(KernelPaddrUserTop "1099511627775")’ This issue looks like it was caused by the `math` statement not setting a correct value for KernelPaddrUserTop. Testing it under different versions of CMake I see KernelPaddrUserTop gets assigned with the correct values. Has this issue kept occurring for you or was it only when you first updated your projects to the newer version?
Kent. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
