4 Commits

Author	SHA1	Message	Date
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
Bahadir Balban	4f2e1d3e94	Fixed various minor issues. ... Tag setting before ipc via l4 libraries don't seem to work, whereas c0 internally generated ipcs do it correctly.	2008-02-05 18:30:11 +00:00
Bahadir Balban	70d5ff33cd	This patch adds ipc_sendrecv() and opens the way for client/server communication. ... ipc_sendrecv() replaces ipc_sendwait() which was flawed. See ipc_sendrecv() for how client/server communication works. Tested with page faults where the kernel does an ipc_sendrecv() to faulty thread's pager and the pager successfully handles the request, and returns back the result, which effectively restarts the faulty thread.	2008-02-04 21:03:51 +00:00
Bahadir Balban	e2b791a3d8	Initial commit	2008-01-13 13:53:52 +00:00