Commit 0bb7c35f authored by Andreas Marek's avatar Andreas Marek
Browse files

Rename the kernel files

parent e25616cf