Waldemar Brodkorb 81c178b82d add support for raspberry pi4 32 bit il y a 4 ans
..
config 7833b797b8 remove virtualbox support il y a 4 ans
patches 81c178b82d add support for raspberry pi4 32 bit il y a 4 ans
Config.in 08317fa541 rework hardware and C library settings il y a 7 ans
Config.in.kernelcfg 81c178b82d add support for raspberry pi4 32 bit il y a 4 ans
Config.in.kernelversion f2c902c529 linux: add 5.15.x suppport il y a 4 ans
arch.lst 4675228299 add kvx toolchain support il y a 5 ans
kernel.config 0fe7721c8c linux: enable unwinder with no runtime overhead il y a 7 ans
kernel.control afab289b26 add some native build fixes (tested on Lemote notebook) il y a 15 ans