From 4b6f84d286ab61863797bc05d510582948b70cae Mon Sep 17 00:00:00 2001
From: Sean Dague <sean@dague.net>
Date: Fri, 26 Sep 2014 12:17:54 -0400
Subject: [PATCH] expose what kernel is running

This adds the kernel info to the setup log which is often useful for
diagnosing kernel related issues in some race bugs.

Change-Id: Ibedb2c9e26df82ccf4375115069dae86298bdb01
---
 functions.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/functions.sh b/functions.sh
index 875ba1c1..477279ff 100644
--- a/functions.sh
+++ b/functions.sh
@@ -374,6 +374,9 @@ function setup_host {
     local xtrace=$(set +o | grep xtrace)
     set -o xtrace
 
+    echo "What's our kernel?"
+    uname -a
+
     # capture # of cpus
     echo "NProc has discovered $(nproc) CPUs"
     cat /proc/cpuinfo