portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis e61a1056cc SELFOUR-56: Remove diminish rights from IPC 
Diminish rights were to prevent a user from sending a writeable
cap over a read only endpoint. It turns out this 'security' can
be worked around without difficulty (by putting caps in a cnode
and sending the cnode) making the current diminish rights
implementation functionally useless.

Removing diminish rights has the benefit of simplifying all the
IPC paths.
2016-02-23 13:58:48 +11:00
..
api libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants 2016-01-21 13:31:54 +11:00
arch SELFOUR-56: Remove diminish rights from IPC 2016-02-23 13:58:48 +11:00
fastpath SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
kernel SELFOUR-56: Remove diminish rights from IPC 2016-02-23 13:58:48 +11:00
machine unsigned int -> word_t 2015-12-10 10:45:21 +11:00
model unsigned int -> word_t 2015-12-10 10:45:21 +11:00
object SELFOUR-56: Remove diminish rights from IPC 2016-02-23 13:58:48 +11:00
plat imx6: Update autconf.h for standalone kernel compile 2016-02-12 14:08:08 +11:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Always have compile_assert enabled 2015-11-11 11:09:24 +11:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
benchmark.h Trivial: style 2015-09-08 12:46:09 +10:00
bootinfo.h Change bootinfo to have generic slot region for paging structures 2016-02-03 16:16:00 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h x86: Port some of the IOMMU changes on the experimental branch 2015-12-18 15:06:39 +11:00
machine.h Release snapshot 2014-07-18 05:03:59 +10:00
Makefile Release snapshot 2014-07-18 05:03:59 +10:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h conversion: fixed unnecessary word_t change 2015-12-10 10:45:22 +11:00
string.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h Add 'used' attribute to memcpy to prevent optimizing out 2016-01-28 10:36:24 +11:00