Added a verbatim function which passes a string, verbatim, to the resulting C code
changed cpuresource generator to pull kernel names and labels correctly
fixed the last wrong names
Merge branch 'schedule' into empty_buff