105 commits

Author	SHA1	Message	Date
Dario Nieuwenhuis	bb6f25d010	Remove use of deprecated compare_and_swap.	2020-12-30 01:07:22 +01:00
Dario Nieuwenhuis	0750234fbe	WIP owned irqs	2020-12-29 00:05:52 +01:00
Dario Nieuwenhuis	b40e09d502	Allow spawning tasks with non-copy args.	2020-11-03 22:12:45 +01:00
Dario Nieuwenhuis	57abd7064d	task codegen: use local items instead of non-locals with prefixed names.	2020-10-31 16:36:09 +01:00
Dario Nieuwenhuis	cd9ecaef57	integrate static-executor, cleanup time module.	2020-10-19 21:25:54 +02:00