Waldemar Brodkorb ef12026191 add support for raspberry pi4 64 bit vor 2 Jahren
..
files 47c9cdf20e update rpi kernel patch, add mkknlimg back, more fixes vor 8 Jahren
src 0f6a7c0124 raspberry-pi: update kernel, firmware and userland vor 2 Jahren
Makefile ef12026191 add support for raspberry pi4 64 bit vor 2 Jahren