(void)proc;
#if CONFIG_KERN_SIGNALS
- proc->sig_recv = 0;
- proc->sig_wait = 0;
+ proc->sig.recv = 0;
+ proc->sig.wait = 0;
#endif
#if CONFIG_KERN_HEAP
#else // CONFIG_KERN_HEAP
/* Stack must have been provided by the user */
- ASSERT_VALID_PTR(stack_base);
- ASSERT(stack_size);
+ ASSERT2(IS_VALID_PTR(stack_base), "Invalid stack pointer. Did you forget to \
+ enable CONFIG_KERN_HEAP?");
+ ASSERT2(stack_size, "Stack size cannot be 0.");
#endif // CONFIG_KERN_HEAP