请教关于多核系统的问题

硬件设备C6678评估板

最近一直在看文档，设备还没有拿到。关于多核有一点疑惑。请不吝赐教。

1.sys/bios是在每一个core运行的，所以一个C6678上会运行8个sys/bios，是这样吗？还是一个像多核的linux系统一样，一个linux可以管理多个core？

2.在C6678用户手册中我看到提供了Semaphore2多core的互斥的机制，但将的比较简单，请问有没有例子可以参考？