summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog2
-rw-r--r--doc/mach.texi8
2 files changed, 7 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog
index 4272191..9d021be 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
2007-03-24 Thomas Schwinge <tschwinge@gnu.org>
+ * doc/mach.texi: Fix a typo and the url for GNU GRUB.
+
* device/kmsg.h: Include <sys/types.h>, <device/device_types.h> and
<device/io_req.h>.
diff --git a/doc/mach.texi b/doc/mach.texi
index 93c5eae..f0e3701 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -988,8 +988,8 @@ disk, and directly start a more advanced bootloader.
@cindex GRUB
@cindex GRand Unified Bootloader
-Currently, @dfn{GRUB}@footnote{The GRand Unified Bootloader, available
-from @uref{http://www.uruk.org/grub/}.} is the preferred GNU bootloader.
+@dfn{GRUB}@footnote{The GRand Unified Bootloader, available
+from @uref{http://gnu.org/software/grub/}.} is the GNU bootloader.
GRUB provides advanced functionality, and is capable of loading several
different kernels (such as Mach, Linux, DOS, and the *BSD family).
@xref{Top, , Introduction, grub, GRUB Manual}.
@@ -1008,6 +1008,8 @@ started. @xref{Top, , Overview, multiboot, Multiboot Specification}.
@section Modules
@pindex serverboot
+This is outdated.
+
Because the microkernel does not provide filesystem support and other
features necessary to load the first system task from a storage medium,
the first task is loaded by the bootloader as a module to a specified
@@ -6394,7 +6396,7 @@ except that the data is sent ``in-line'' in the request IPC message
The function @code{device_map} creates a new memory manager for
@var{device} and returns a port to it in @var{pager}. The memory
manager is usable as a memory object in a @code{vm_map} call. The call
-is device dependant.
+is device dependent.
The protection for the memory object is specified by @var{prot}. The
memory object starts at @var{offset} within the device and extends