Hi, In recent seL4 commit https://github.com/seL4/seL4/commit/67d8d041de0c435a1cc59ef8c237be6e39beb1c6 , A lot of comments like these: /** AUXUPD: "(True, ptr_retyps (2 ^ (unat <acute>userSize)) (Ptr (ptr_val <acute>regionBase) :: cte_C ptr))" */ /** GHOSTUPD: "(True, gs_new_cnodes (unat <acute>userSize) (ptr_val <acute>regionBase) (4 + unat <acute>userSize))" */ have been added into source code, What is their meaning? I don't know isablle, and just know a little about haskell.
thanks!
Xilong Pei Tongji University 2015/7/14