0476e30a6d
This adds functionality to map pages dynamically into kernel virtual memory. This allows implementing I/O remap for example, which is a useful (future) feature. Now, the first target is to support mapping user pages for the kernel. Why? There are some userspace structures that might be needed when the userspace process is not running. Semaphores are one such example. Signals and the WDT timeout both need access to the user semaphore to work properly. Even though for this only obtaining the kernel addressable page pool virtual address is needed, for completeness a procedure is provided to map several pages. |
||
|---|---|---|
| .. | ||
| init.h | ||
| Make.defs | ||
| nx_bringup.c | ||
| nx_smpstart.c | ||
| nx_start.c | ||