Re: [seL4] Failed to find device frame in new verion on my environment

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.