update_kernel.sh: improve cross platform support
[maintainer-tools.git] / update_kernel.sh
2017-12-23 Kevin Darbyshire... update_kernel.sh: improve cross platform support
2017-12-23 Jonas Gorskiadd a script for updating the kernel