Gajamohan Mohanarajah wrote:
> Hi Gilles,
>
> Thanks a lot! With XENO_OPT_SYS_STACKPOOLSZ set to 1024 and then
> setting it up along the wiki instructions worked fine. (no error on
> kern.log and switch test works fine too)
>
> But, when ACPI is enabled (but CONFIG_ACPI_PROCESSOR is not set) and
> with an AHCI bios setting, while booting it drops to initramfs shell
> saying [Gave up waiting for root device.. /dev/disk/by-uuid/.... does
> not exist. Dropping to shell !].
>
> Please Note:
> 1. I couldn't reproduce this problem with an ubuntu kernel (without
> Xenomai patch) ACPI enabled, CONFIG_ACPI_PROCESSOR not set and AHCI
> on bios.
> 2. cat /proc/modules shows an [ahci] on initramfs/busybox
> 3. root=/dev/sda1 on grep config instead of uuid also did not help.
Please capture the full kernel logs and post them here (do not forget to
remove the "quiet" argument which ubuntu passes on the kernel command line).
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
