5 Commits (f1765277bacbea47a45ed913ca8fa043e9f71393)

Author SHA1 Message Date
Álvaro Fernández Rojas 0aa6c7df60 kernel: update kernel 4.4 to version 4.4.13 9 years ago
Jo-Philipp Wich 33d9d6c375 kernel: add workaround to rebuild vdso-n32.so.dbg too 9 years ago
Álvaro Fernández Rojas e32b2f92b1 kernel: update kernel 4.4 to version 4.4.10 9 years ago
Stijn Tintel 91f205acaf kernel: add workaround to rebuild vdso-o32.so.dbg 9 years ago
Jo-Philipp Wich 9eb155353a kernel: add a workaround to rebuild vdso.so.dbg after genvdso 9 years ago