> 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
