add kernel_ipi to the build and call it from the bcm2708 support code if applicable.
[AROS.git] / arch / all-darwin / 
tree6271c479781780e6483dc04155dd4390257e6070
drwxr-xr-x   ..
-rw-r--r-- 3403 README.txt
drwxr-xr-x - hostdisk
drwxr-xr-x - kernel