Hello Ziquan, Andrea
I actually have a question regarding your question, when running Barrelfish on SCC and if you want to boot a new core later after you already have set of running core, does that mean that you need to reboot the whole chip to start the new one with the other running or there is a whatever command let us to start and boot this specific core while the others are running, briefly how to boot w new core without rebooting the whole running currently?
Hegazi