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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
