[17:58] <geri> hi
[17:58] <geri> how can i config ubuntu to use only one core?
[17:58] <geri> arm core 0 (linux), arm core 1 (bare metal)
[17:58] <geri> is that possible?
[20:59] <geri>  hi, which kernel did you install with ubuntu?