summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2001-10-06 20:10:07 +0000
committerMarcus Brinkmann <marcus@gnu.org>2001-10-06 20:10:07 +0000
commit40478c35627c3f560eb3f584d6f921dc0c8d3b9e (patch)
treee7ded3dcedd7e675a34dc2a0b513bb7b52de9175
parentb118a58c14664b75c3a15d9af6e237b9ccf99ca1 (diff)
2001-10-06 Marcus Brinkmann <marcus@gnu.org>
* README: Replace `GNU mach' by `GNU Mach', and remove obsolete paragraph about kmsg device.
-rw-r--r--ChangeLog5
-rw-r--r--README6
2 files changed, 6 insertions, 5 deletions
diff --git a/ChangeLog b/ChangeLog
index ccedb8b..87cdbcb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
2001-10-06 Marcus Brinkmann <marcus@gnu.org>
+ * README: Replace `GNU mach' by `GNU Mach', and remove
+ obsolete paragraph about kmsg device.
+
+2001-10-06 Marcus Brinkmann <marcus@gnu.org>
+
* doc/mach.texi: Fix direntry.
2001-10-05 Marcus Brinkmann <marcus@gnu.org>
diff --git a/README b/README
index f8c9647..dcedb7e 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
-*- Text -*-
-This is the GNU mach 1.2 distribution.
+This is the GNU Mach 1.2 distribution.
This kernel is derived from the Utah kernel source. We use it to run
the Hurd on. It is being distributed by us so that we can more easily
@@ -32,10 +32,6 @@ debugging the kernel, of course. We don't turn it on be default
because it adds considerably to the unpageable memory footprint of the
kernel.
-If you want to use the kmsg device, specify --enable-kmsg to
-configure. It is disabled by default, because we assume that it is
-unstable and there is no appropriate translator for it.
-
The specific switches you give to configure are always recorded in the
file `config.status'. So you can always tell what options you used to
build a particular kernel.