#include <stdint.h> #include <stdio.h> #include <tree-os.h> #include <cursor.h> #include <task.h> #include <alloc.h> #include <osTasks.h> extern uint32_t _kernel_end; void kernelMain() { initMemoryAllocation(0x100000); // initializing stacks after the kernel seems not to work :( otherwise, _kernel_end should be passed here initOSTasks(); drawLogo(); printf("Switching to otherTask... \n"); yields(); printf("Returned to mainTask!\n\n"); yield(); }