Annotation of driverkit/notes/restart_problems, revision 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.