Annotation of driverkit/notes/restart_problems, revision 1.1.1.1

1.1       root        1: problem - a driver deletes some ports via device_delete(), then crashes. On restart, should it have access to all of the dev_ports it initially had? Currently it won't because Config did device_destroy()'s on the dev_ports. Those dev_entry's willl be missing from the driver_entry's dev_list...
                      2: 
                      3: Also, how to assign a deleted device to another driver if the deletor keeps running? A config_scan() will just add it to that driver's dev_list and since that driver's already running, it won't get exec'd. 
                      4: 
                      5: Only solution I see is to disallow device_delete() - only allow driver_delete().

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.