Hi I add MULTIPROCESSOR support for comcerto 2000. second CPU lunched and I found call cpu_set_hatched() by VERBOSE_INIT_ARM log, But cpu_hatched_p() is false allways. If you have advice, please let me know. Regards Hiroki Mori