altos: Rename 'core' to 'kernel'
[fw/altos] / src / math / machine /
drwxr-xr-x   ..
-rw-r--r-- 7773 ieeefp.h