Though we are used to the usual sequential instruction execution, may it be in interrupt thread or main thread, I'd like to know how other engineers develop firmwares for multicore chips. Basically, the usual RTOS knowledge in using semaphores and or mutex are still applicable, how do other engineers approach this kind of set-up? Any tips and or suggestions? Thanks.