Task switching via task_t structs