Hello Julien,
Thank you very much for your help!
Best,
Jiatong Shen
On Fri, Jun 9, 2023 at 4:48 PM Julien Grall <jul...@xen.org> 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
