Juergen Gross writes ("[PATCH-for-4.16 v2 0/2] next try for disabling build of qemu-trad"): > Another try to disable building qemu-traditional per default. > > Juergen Gross (2): > configure: modify default of building rombios > tools: disable building qemu-trad per default
Both patches. Release-Acked-by: Ian Jackson <i...@xenproject.org> But let's see if Andy wants to comment on the help messages. Ian.