irvin/suyu @ 8f8fa82c832f3d98d76857c9f65f6587f0249a1e

Zach Hilman fc0bf91a96 kernel: Differentiate kernel and user processes when picking ID		vor 7 Jahren
..
arm	fc0bf91a96 kernel: Differentiate kernel and user processes when picking ID	vor 7 Jahren
core_timing.cpp	bd983414f6 core_timing: Convert core timing into a class	vor 7 Jahren