4 Commits

Author	SHA1	Message	Date
Bahadir Balban	6e1edc0aad	Adding address space structure to ktcbs. Still booting until virtual memory is enabled.	2009-05-07 10:26:34 +03: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	a82cdd3456	User pointer validity checks. ... Added routines that check whether a user pointer is accessible by the kernel, and if not ask the pager to map-in those pages. I haven't implemented yet the bit that asks the pager for paging-in.	2008-02-05 15:41:14 +00:00
Bahadir Balban	e2b791a3d8	Initial commit	2008-01-13 13:53:52 +00:00