On Fri, 2014-07-11 at 09:44 +0200, John Holland wrote: > > Off topic, but... > > > wondering if CONFIG_EFI_PARTITION is standard now-a-days?
It's part of include/config_distro_defaults.h so any board which has opted into that should have it. But someone was reporting the other day on debian-arm that it didn't seem to work on sunxi, which has opted in, so perhaps there is more to it. Ian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
