add kernel_ipi to the build and call it from the bcm2708 support code if applicable.
[AROS.git] / workbench / 
tree10424a75423b455c57826cf2df734a19d2aa0f23
drwxr-xr-x   ..
-rw-r--r-- 19 .backdrop
drwxr-xr-x - c
drwxr-xr-x - classes
drwxr-xr-x - demos
drwxr-xr-x - devs
drwxr-xr-x - expansion
drwxr-xr-x - fonts
drwxr-xr-x - fs
drwxr-xr-x - hidds
drwxr-xr-x - libs
drwxr-xr-x - locale
-rw-r--r-- 1641 mmakefile.src
drwxr-xr-x - network
drwxr-xr-x - prefs
drwxr-xr-x - printers
drwxr-xr-x - rexxc
drwxr-xr-x - s
drwxr-xr-x - storage
drwxr-xr-x - system
drwxr-xr-x - tools
drwxr-xr-x - utilities