10_hurd.in revision 2
2N/A# grub-mkconfig helper script. 2N/A# Copyright (C) 2006,2007,2008,2009,2010 Free Software Foundation, Inc. 2N/A# GRUB is free software: you can redistribute it and/or modify 2N/A# it under the terms of the GNU General Public License as published by 2N/A# the Free Software Foundation, either version 3 of the License, or 2N/A# (at your option) any later version. 2N/A# GRUB is distributed in the hope that it will be useful, 2N/A# but WITHOUT ANY WARRANTY; without even the implied warranty of 2N/A# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 2N/A# GNU General Public License for more details. 2N/A# You should have received a copy of the GNU General Public License 2N/Aif [
"x${GRUB_DISTRIBUTOR}" =
"x" ] ;
then 2N/A# FIXME: add l4 here? 2N/A if test -e $i ;
then 2N/A echo "Found GNU Mach: $i" >&
2 2N/A# FIXME: This works for ext2. For other filesystems we might need special-casing 2N/A if test -e
"$i" ;
then 2N/A echo "Found Hurd module: $i" >&
2 2N/A # no hurd here, aborting silently 2N/A echo "Some Hurd stuff found, but not enough to boot." >&
2 2N/Amenuentry "${OS} ${KERNEL}" ${CLASS} { 2N/A multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/} 2N/A module /hurd/${hurd_fs}.static ${hurd_fs} --readonly \\ 2N/A --multiboot-command-line='\${kernel-command-line}' \\ 2N/A --host-priv-port='\${host-port}' \\ 2N/A --device-master-port='\${device-port}' \\ 2N/A --exec-server-task='\${exec-task}' -T typed '\${root}' \\ 2N/A '\$(task-create)' '\$(task-resume)' 2N/A module /lib/ld.so.1 exec /hurd/exec '\$(exec-task=task-create)' 2N/Amenuentry "${OS} ${KERNEL} (recovery mode)" ${CLASS} { 2N/A multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/} -s 2N/A module /hurd/${hurd_fs}.static ${hurd_fs} \\ 2N/A --multiboot-command-line='\${kernel-command-line}' \\ 2N/A --host-priv-port='\${host-port}' \\ 2N/A --device-master-port='\${device-port}' \\ 2N/A --exec-server-task='\${exec-task}' -T typed '\${root}' \\ 2N/A '\$(task-create)' '\$(task-resume)' 2N/A module /lib/ld.so.1 exec /hurd/exec '\$(exec-task=task-create)'