**** BEGIN LOGGING AT Mon Apr 13 02:59:57 2020
Apr 13 19:53:46 <kyle__> Is there a straightfoward/safeish way to switch kernels on arm-ubuntu?
Apr 13 19:54:34 <kyle__> I've got an orangepi-zero running bionic (armv7l), and the 4.19.62-sunxi kernel apparently doesnt' support the onboard audio input
**** ENDING LOGGING AT Tue Apr 14 02:59:57 2020