From 440bca33aaeb7ed453948c933eaaef42e2eb0f6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 28 Jul 2015 22:42:45 +0200 Subject: Add external scripts and set boot configuration --- measure_scripts/11-patch | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 measure_scripts/11-patch (limited to 'measure_scripts/11-patch') diff --git a/measure_scripts/11-patch b/measure_scripts/11-patch new file mode 100755 index 0000000..d29976e --- /dev/null +++ b/measure_scripts/11-patch @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e + +cd ../linux + +git reset --hard + +git apply --index < ../other_scripts/shark-ryu-board-patch.patch -- cgit v1.2.3