-- Migration 013: Add generic device_id field
-- This field stores the physical identifier of the device:
-- - For PCI devices: the slot (e.g., "08:00.0")
-- - For USB devices: the bus-device (e.g., "001-004")
-- - For other devices: any relevant identifier

ALTER TABLE peripherals ADD COLUMN device_id VARCHAR(50);

-- Add index for faster lookups
CREATE INDEX idx_peripherals_device_id ON peripherals(device_id);