In camkes-single-threaded.h, camkes defines single_threaded_component macro
I want to know, what does single_threaded_component mean ?
It means this component just have only one thread, for example the RPC & handle_irq also just handled by the only one thread, so we don’t have to handle exclusive