-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Sorry,

I forgot to mention that the described limits of course apply only to
the 32bit version of the kernel interface. For 64bit the limits are
different.

Alex.

On 31.07.2012 09:33, Alexander Boettcher wrote:
> the kernel does only support cap selectors up to 1 << 24 (which is 
> 0x1000000), however selectors only up to 1 << 20 (which is
> 0x100000) as base can be mapped/delegated. (There are only 20 bit
> available for the base of the capability range descripter, see also
> the NOVA kernel specification, section - 4.3.4 Object Capability
> Range Descriptor).
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAlAXjmkACgkQqjRK9KYzJbN84wCfckbIwIBiedS6eLhDtUjPriVx
riYAn2n9RU/V5b88Ageola7rgmlsHf3a
=TJ/t
-----END PGP SIGNATURE-----

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to