diff options
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,8 +1,8 @@ -Version 1.7 (2016-04-XX) +Version 1.7 (2016-05-18) -The code has been updated to work with newer versions of the compiler, -and numerous bugs have been fixed throughout the code. The code uses -integer types from 'stdint.h' now instead of the old Mach types. +The code has been updated to work with newer versions of GCC, and numerous bugs +have been fixed throughout the code, including a pageout deadlock. The code +uses integer types from <stdint.h> now instead of the old Mach types. The VM cache policy change has been merged. The kernel now caches unreferenced VM objects unconditionally instead of using a fixed @@ -12,8 +12,8 @@ The physical page allocator of the X15 kernel has been integrated, and is now used directly by the slab allocator. This increases the kernel heap addressing important scalability issues. -A synchronization mechanism was added, similar to the Linux futexes, to -allow efficient and powerful userland synchronization. +The gsync synchronization mechanism was added, similar to the Linux kernel's +futexes, to allow efficient and powerful userland synchronization. Support for profiling kernel code from userland through sampling was added. |