> So if we consider this bootloader a device and its -dtb argument a property
> of that device, then what you are implying is that every device property of
> every device in a machine must be managed by the machine model? Isn't the
> dynamic machine model work that is in progress is trying to get away the
> approach where fixed machine models have to micromanage all their attached
> devices? with the ultimate goal of -no-machine how will the bootloader get
> this dtb argument?
My expectation is that we have some way for the machine description to tag
objects/properties that pap to the generic commandline options. In the same
way that we'd probably want to tag the default PCI bus, or UARTs for matching
with the -serial commandline. Some of these can be guessed, others you need
the machine description to tell you.
Paul