identificador del dispositivo. Por ejemplo, OSPM enumera los dispositivos de un bus ISA. Además, los dispositivos de un sistema en un chip (SoC) a menudo se enumeran mediante ACPI porque están en tejido no enumerable. Algunos ejemplos de estos dispositivos son los controladores de host USB...