Hi,

I just tried to confirm your report with the hell.efi.iso image which seems to
work fine. Does that image also work for you?

The warning you are seeing indicates that there is something wrong with the
BIOS and that the address of the ACPI tables is not correctly passed from the
BIOS to L4Re's bootstrap component.

Regards,
Matthias.

On [07-07-2022 10:04], 郭聪 wrote:
> 
> Hi,
> 
> I cannot launch those amd64 pre-built epi images with Qemu 4.2.1 on Ubuntu 
> 20.04.  All the pc images are fine. I have added the '-bios 
> /usr/share/qemu/OVMF.fd' option. There is a warning "KERNEL: Warning: ACPI: 
> Could not find RSDP, skip init" and then "no console will be available to 
> OS". It seems that the first warning is from Fiasco, in 
> fiasco/src/kern/acpi.cpp. I guess this is because the ACPI version. How can I 
> solve this issue? Does anyone see the same problem? Thank you very much!
> 

> _______________________________________________
> l4-hackers mailing list
> [email protected]
> https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


-- 
Matthias Lange                      phone: +49 (0) 351-41 888 614
Senior Operating Systems Engineer   web: https://www.kernkonzept.com

Kernkonzept GmbH
Buchenstraße 16b
01097 Dresden

Geschäftsführer: Dr.-Ing. Michael Hohmuth
Registergericht: Amtsgericht Dresden
Handelsregister: HRB 31129

You might not be working when I am and that's ok! Please make sure to only
reply when it suits you. Mails can wait.

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to