**** BEGIN LOGGING AT Sun May 09 03:00:50 2021
May 09 10:38:05 <luc4> Hello! Anyone who knows if it is possible to use the official rpi kernel on ubuntu for raspberry pi? I'd need to git bisect to find a bug.
**** ENDING LOGGING AT Mon May 10 02:59:56 2021