Yureka <yuka@yuka.dev> writes:

>>> @@ -7,6 +8,9 @@ option('host', type : 'boolean', value : false,
>>>   option('guest', type : 'boolean',
>>>     description : 'Build tools for Spectrum guests')
>>>   
>>> +option('driver', type : 'boolean',
>>> +  description : 'Build tools for Spectrum driver VMs')
>>> +
>> Should be grouped with host and guest (no blank line between).
>
> There is a blank line in between host and guest, so I don't know what 
> you mean exactly.

I think I was confused by the diff output, sorry.  Let's default it to
false though — the most likely way for this to be reused would be for
people running custom application VMs, so that's what should be built by
default.  Should also rename "guest" to "app", I think — I can do that
myself before applying, if you prefer.