Changing BIOS settings is not something we allow users to do. We do
occasionally make changes on behalf of users, but UEFI vs. legacy BIOS is
not something we can easily change dynamically as it heavily affects our
boot path. That said, the node in question that you are using (c6420) are
already in legacy BIOS mode, so that should not be your problem. It could
just be that the kernel you are trying to boot is too old to support some
of the hardware on the machine.
> --
> You received this message because you are subscribed to the Google Groups
> "cloudlab-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to
cloudlab-user...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/
> cloudlab-users/d38bd8eb-30cf-4daf-b500-5da278fae1f5n%
40googlegroups.com.