Full threadnavigatr·Is the RPi4 mainlined in the kernel, or does the board require porting new kernel versions?View on HN