An overview of how a Unix-like BSD kernel performs hardware discovery on x86 and ARM to bind device drivers to hardware devices