diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-03-23 23:59:10 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:06 +0200 |
commit | 7a64ff605866ae14b57ba7b24bbfae21067eba7a (patch) | |
tree | 12108e7dd432ec3a3194b7fe276909c7d5bec6bd /doc | |
parent | 0bcc497664baaecb2e8a9873d61201ddbfddf3cc (diff) |
2007-03-24 Thomas Schwinge <tschwinge@gnu.org>
* doc/mach.texi: Fix a typo and the url for GNU GRUB.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/mach.texi | 8 |
1 files changed, 5 insertions, 3 deletions
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 |