Mihai Parparita a941836a4d Add support for specifying properties of dynamically-registered devices via the command line
The previous approach of traversing the machine and its device tree
at startup to register CLI11 options was not working for dynamically
registered devices like PCI cards. This meant that options like
gfxmem_size or mon_id from the video cards could not be set.

Switch to instead registering in MachineFactory a hook function that
provides CLI flag values. We can call it when registering any property,
whether at startup or dynamically.
2024-11-21 22:58:36 -08:00
..
2024-11-15 12:05:50 -07:00
2024-04-24 06:48:27 -07:00
2024-09-15 18:31:36 -07:00
2024-07-15 02:09:15 +02:00
2024-11-09 22:48:06 -08:00
2024-09-08 13:19:07 -07:00
2024-11-09 22:48:06 -08:00