Indan Zupancic comments

Repositories
Issues
Comments

Results 453 comments of


                                            Indan Zupancic

term "granule" used through rust-sel4 crates not in sel4 itself

Do you mean `seL4_PageBits`? Smallest memory seL4 deals with via UTs is `seL4_MinUntypedBits`, which is 4.

term "granule" used through rust-sel4 crates not in sel4 itself

> > Do you mean `seL4_PageBits`? Smallest memory seL4 deals with via UTs is `seL4_MinUntypedBits`, which is 4. > > Ah yes, sorry for being unclear, I meant the smallest...

How to access a capability from an AbsoluteCPtr

An alternative is to increase the size with the config option `KernelRootCNodeSizeBits` (default is 12). Going from a 1-level CSpace to a 2-level CSpace is not [trivial](https://lists.sel4.systems/hyperkitty/list/[email protected]/thread/CUPYGM2I3E4IWLWZFCXBFWB3W26GUHAX/). Edit: But if...