Separate mapping of EBUS interrupts into two parts: EBUS and PCI.
[helenos.git] / boot / 
tree3f49968a9045da88ec01e58d71a0663cc4901ce3
drwxr-xr-x   ..
-rw-r--r-- 2023 Makefile
drwxr-xr-x - arch
-rw-r--r-- 562 boot.config
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - tools