diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/debugging.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/debugging.mdwn b/microkernel/mach/gnumach/debugging.mdwn index bcff970e..2aeae7f4 100644 --- a/microkernel/mach/gnumach/debugging.mdwn +++ b/microkernel/mach/gnumach/debugging.mdwn @@ -165,9 +165,10 @@ example `/boot/grub/grub.cfg`: --host-priv-port='${host-port}' --device-master-port='${device-port}' \ --exec-server-task='${exec-task}' -T typed '${root}' \ '$(fs-task=task-create)' '$(task-resume)' - module /lib/ld.so.1 exec /hurd/exec '$(exec-task=task-create)' + module /lib/ld-x86-64.so.1 exec /hurd/exec '$(exec-task=task-create)' +Note: use `ld.so.1` instead of `ld-x86-64.so.1` on 32b systems. # Code Inside the Kernel |