add kernel_ipi to the build and call it from the bcm2708 support code if applicable.
[AROS.git] / arch / i386-pc / 
tree9f2ade509197373e86b69b84da584708129be6d3
drwxr-xr-x   ..
drwxr-xr-x - boot
drwxr-xr-x - bootstrap
drwxr-xr-x - cpu
drwxr-xr-x - drivers
drwxr-xr-x - exec
drwxr-xr-x - include
drwxr-xr-x - kernel
-rw-r--r-- 73 mmakefile.src