diff options
| -rw-r--r-- | microkernel/x15.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/x15.mdwn b/microkernel/x15.mdwn index 123c2cd4..b56c97fc 100644 --- a/microkernel/x15.mdwn +++ b/microkernel/x15.mdwn @@ -14,11 +14,11 @@ The following specific features are intended to distinguish x15 from other micro * SMP support * Lockless synchronisation à la RCU -* Support for large amounts of physical memory. GNU Mach does the same as Linux, physical memory is mapped in kernel space so you can't have more physical memory than you have kernel space which is why gnumach can't handle more than 1.8G right now, it's a 2/2 split. In x15, the kernel maps what it needs and can map it from anywhere in physical memory the drawback is that it needs to update kernel page tables more often. +* Support for large amounts of physical memory. GNU Mach does the same as Linux, physical memory is mapped in kernel space so you can't have more physical memory than you have kernel space which is why GNU Mach can't handle more than 1.8G right now, it's a 2/2 split. In x15, the kernel maps what it needs and can map it from anywhere in physical memory the drawback is that it needs to update kernel page tables more often. * Virtual memory operations are planned to be completely concurrent on x15, similar to what is described in radixvm * Intended to efficiently run a Hurd-like system providing a POSIX interface * Providing both synchronisation IPC and signals, as opposed to just synchronisation IPC * Port names which will transparently identify as file descriptors * Light reference counting -* A restriction on ipc that only allows reliable transfers across network to machines with same arch and endianness +* A restriction on IPC that only allows reliable transfers across network to machines with same arch and endianness * etc. |