Re: Asking for help to debug xen efi on Kunpeng machine

[Jiatong Shen <yshxxsjt715@xxxxxxxxx>]

Hello Stefano,

    I am able to obtain some serial logging (by enabling debugging and verbose debugging messages, hopefully select the right option). The message looks like 

(XEN) *** Serial input to DOM0 (type 'CTRL-a' three times to switch input)
(XEN) Freed 372kB init memory.
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER4
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER8
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER12
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER16
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER20
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER24
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER28
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER32
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER36
(XEN) d0v0: vGICD: unhandled word write 0x000000ffffffff to ICACTIVER40

Could you help find out where it is wrong ? Thank you very much for the help!

Best Regards,

Jiatong Shen

On Sat, Jun 10, 2023 at 7:15 AM Jiatong Shen <yshxxsjt715@xxxxxxxxx> wrote:

Hello Julien,

    Thank you very much for your help!

Best,

Jiatong Shen

On Fri, Jun 9, 2023 at 4:48 PM Julien Grall <julien@xxxxxxx> wrote:

Hello,

On 09/06/2023 03:32, Jiatong Shen wrote:
> Thank you for your answer. Can you teach me how to verify if acpi is
> enabled?

You usually look at the .config. But I am not sure if this is provided
by the Debian package. If not, then your best option would be to build
your own Xen. To select ACPI, you want to use the menuconfig and select
UNSUPPORTED and ACPI.

Cheers,

--
Julien Grall

--

Best Regards,

Jiatong Shen

--

Best Regards,

Jiatong Shen

Attachment: xen-4.17.log
Description: Binary data