[crux-commits] r883 - crux-2.2/kernel