wenting83

pok/kernel/include/core/sched.h:26:33: error: ‘POK_CONFIG_NB_PROCESSORS’ undeclared here (not in a function) extern uint32_t current_threads[POK_CONFIG_NB_PROCESSORS]; the same

> * based on the new properties. Yes, exactly. Any update? Thank you!