Florian Pose <fp@igh-essen.com> [Tue, 21 Oct 2008 09:33:00 +0000] rev 1285
merge -c1534 branches/stable-1.4: Fixed EXTRA_DIST.
Florian Pose <fp@igh-essen.com> [Tue, 21 Oct 2008 09:26:19 +0000] rev 1284
Fixed page fault handler.
Florian Pose <fp@igh-essen.com> [Mon, 20 Oct 2008 15:37:51 +0000] rev 1283
Differences kernel/user.