Re: [PATCH] remove acpi for 64-bit debugging and acpi building doc

[Samuel Thibault]

applied, thanks!

pasha (biblio), le dim. 14 mai 2023 10:02:31 +0200, a ecrit:
> ---
>  hurd/building.mdwn                      |  6 ++++++
>  microkernel/mach/gnumach/debugging.mdwn | 14 ++++++++------
>  2 files changed, 14 insertions(+), 6 deletions(-)
> 
> diff --git a/hurd/building.mdwn b/hurd/building.mdwn
> index 7cfc7c7e..63c33498 100644
> --- a/hurd/building.mdwn
> +++ b/hurd/building.mdwn
> @@ -93,6 +93,12 @@ or `/local/`, so your current Hurd servers will be 
> replaced.
>  To install to a different location, specify `--prefix=PREFIX` as `configure`
>  parameter, e.g. `--prefix=/usr` (as done when having a real `/usr`).
>  
> +To build acpi:
> +
> +    $ make acpi
> +
> +You may need to install necessary acpi headers (`libacpica-dev` package in 
> Debian based distro).
> +
>  By default profiling versions of all the libraries and code are generated but
>  this is useless in most of the cases, so we disable them by specifying
>  `--disable-profile` on `configure`'s command line.
> diff --git a/microkernel/mach/gnumach/debugging.mdwn 
> b/microkernel/mach/gnumach/debugging.mdwn
> index 0e4898be..0bf0ee79 100644
> --- a/microkernel/mach/gnumach/debugging.mdwn
> +++ b/microkernel/mach/gnumach/debugging.mdwn
> @@ -130,7 +130,10 @@ working directory. For example:
>  
>  ## Debug 64-bit gnumach
>  
> -[[build|microkernel/mach/gnumach/building/]] 64-bit gnumach
> +[[build|microkernel/mach/gnumach/building/]] 64-bit gnumach with:
> +
> +    $ export CFLAGS=-g
> +    $ ../configure --enable-kdb ...
>  
>  run a spare Hurd vm (prepare for data loss in vm):
>  
> @@ -151,14 +154,13 @@ example `/boot/grub/grub.cfg`:
>  
>      multiboot       /boot/gnumach-1.8-486.gz root=part:2:device:hd0 
> console=com0
>      ...
> -    module          /hurd/acpi.static acpi \
> -                    --host-priv-port='${host-port}' 
> --device-master-port='${device-port}' \
> -                    --next-task='${fs-task}' \
> -                    '$(acpi-task=task-create)' '$(task-resume)'
> +    echo            'Loading the Hurd ...'
>      module          /hurd/ext2fs.static ext2fs --readonly \
>                      --multiboot-command-line='${kernel-command-line}' \
> +                     \
> +                    --host-priv-port='${host-port}' 
> --device-master-port='${device-port}' \
>                      --exec-server-task='${exec-task}' -T typed '${root}' \
> -                    '$(fs-task=task-create)'
> +                    '$(fs-task=task-create)' '$(task-resume)'
>      module          /lib/ld.so.1 exec /hurd/exec '$(exec-task=task-create)'
>  
>  
> -- 
> 2.30.2
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.