2 files changed, 7 insertions, 7 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.
@@ -1,4 +1,4 @@