Bahadir Balban e0492d672f Kernel inspects and sets sender id instead of userspace. ...

Modified ipc handling so that from now on the kernel inspects and sets
the sender id if the receiver is receiving from L4_ANYTHREAD. This posed
a security problem since the receiver could not trust the sender for
sender information.

2008-02-11 11:11:17 +00:00

..

errno.h

Initial commit

2008-01-13 13:53:52 +00:00

ipc.h

Fixed various minor issues.

2008-02-05 18:30:11 +00:00

kip.h

Kernel inspects and sets sender id instead of userspace.

2008-02-11 11:11:17 +00:00

space.h

Initial commit

2008-01-13 13:53:52 +00:00

syscall.h

Initial commit

2008-01-13 13:53:52 +00:00

thread.h

Initial commit

2008-01-13 13:53:52 +00:00