From b5b429af3bc03607d50d1888f16288fd76254b27 Mon Sep 17 00:00:00 2001
From: Jeffrey Townsend <jeffrey.townsend@bigswitch.com>
Date: Sun, 25 Dec 2016 22:12:12 +0000
Subject: [PATCH] Convenience tool for manual kernel replacement.

---
 packages/base/all/vendor-config-onl/src/bin/onlkernel | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 packages/base/all/vendor-config-onl/src/bin/onlkernel

diff --git a/packages/base/all/vendor-config-onl/src/bin/onlkernel b/packages/base/all/vendor-config-onl/src/bin/onlkernel
new file mode 100755
index 00000000..051a1729
--- /dev/null
+++ b/packages/base/all/vendor-config-onl/src/bin/onlkernel
@@ -0,0 +1,11 @@
+#!/bin/sh
+############################################################
+if [ -z "$1" ]; then
+    echo "usage: $0 <kernel url>"
+    exit 1
+fi
+
+dir=`mktemp -d`
+(cd $dir && wget $1)
+onlfs rw boot mv $dir/* /mnt/onl/boot
+rmdir $dir