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 <[email protected]> wrote: > Hello Julien, > > Thank you very much for your help! > > Best, > > Jiatong Shen > > On Fri, Jun 9, 2023 at 4:48 PM Julien Grall <[email protected]> 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
xen-4.17.log
Description: Binary data
