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