From e6e6f56ccf702fe4bc09821b8064861a200122a8 Mon Sep 17 00:00:00 2001
From: Alex Smith <alex@alex-smith.me.uk>
Date: Sat, 21 Jul 2012 14:09:08 +0100
Subject: [PATCH] Include compat/sys/kernel.h rather than "kernel.h".

Using "kernel.h" was pulling in the private kernel.h header instead,
which was causing a build failure on my branch since arch_cpu.h is
C++-only there.
---
 src/libs/compat/freebsd_network/clock.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/libs/compat/freebsd_network/clock.c b/src/libs/compat/freebsd_network/clock.c
index 91a095429d..fce43ccef2 100644
--- a/src/libs/compat/freebsd_network/clock.c
+++ b/src/libs/compat/freebsd_network/clock.c
@@ -5,7 +5,8 @@
 
 
 #include "device.h"
-#include "kernel.h"
+
+#include <compat/sys/kernel.h>
 
 
 int ticks;