diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-25 13:49:21 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-25 13:49:21 +0200 |
| commit | db92fcd2a865889dbf5cc524f2c27e5855167e9c (patch) | |
| tree | 9bb4df7eb2c53bcb2818f448e5ecc982b4265b91 /kapi/gdb/boot_modules/boot_module.py | |
| parent | 501b4f27c5f8e114cc56762e30105112e86b885c (diff) | |
| download | kernel-db92fcd2a865889dbf5cc524f2c27e5855167e9c.tar.xz kernel-db92fcd2a865889dbf5cc524f2c27e5855167e9c.zip | |
kernel: bootstrap device_number_registry
Previously, the device number registry would only receive devices from
the interface registry that where published **after** the device number
registry was constructed. This introduced a subtle state race, in which
the device number registry would miss devices that already had
published interfaces.
Diffstat (limited to 'kapi/gdb/boot_modules/boot_module.py')
0 files changed, 0 insertions, 0 deletions