hi:
I am try to understand the designing philosophy of seL4 kernel base on CAmkES,
I didn't find a global memory server in this system
But the AOS may be have memory server,even though I am not familiar with AOS
now, I have three question:
1. what is the purpose of the existing of CAmkES and AOS meanwhile ? (static
and dynamic )
2. which one (AOS or CAmkES) will be vigorously developed by the seL4
community and fund later.
3. Is a good idea to provide global memory server in CAmkES system? I found
usually CAmkES alloc untyped pool Statically for componet in .camkes file.
Thank you very much
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
