redefine default platform
[profile/ivi/kernel-x86-ivi.git] / kernel / cpu /
drwxr-xr-x   ..
-rw-r--r-- 15 Makefile
-rw-r--r-- 3362 idle.c