mirror of
git://git.savannah.gnu.org/config.git
synced 2025-05-26 09:06:38 +12:00
a75beeb9f1
Handle ‘i386-nova’ as shorthand for a 4-part system name, kernel=rtmk os=nova, instead of a canonicalized OS name with a dash in the middle, os=rtmk-nova. RTMK <https://rtmk.sourceforge.net/> is a microkernel. Nova <https://www.nongnu.org/nova> is an OS written on top of that microkernel. The short system name ‘i386-nova’ was therefore defined to canonicalize to ‘i386-pc-rtmk-nova’, I think prior to the general introduction of 4-part system names. ‘i386-pc-rtmk-nova’ still makes sense under the rules for interpreting 4-part names, but nowadays the logic for validating canonicalized name components rejects OS names with a dash in the middle. Feeding kernel=rtmk os=nova to that logic, instead, does the Right Thing. Signed-off-by: Dmitry V. Levin <ldv@altlinux.org>