From 01698233fdd301c840a09d5021b41c8659ca968f Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 8 Nov 2017 11:09:06 +0100
Subject: [PATCH] foc: use kernel with correct cache flush (arndale)

Thanks to ssumpf for finding the regression!
---
 repos/base-foc/ports/foc.hash | 2 +-
 repos/base-foc/ports/foc.port | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash
index 18f82b9c5..2f708cb8d 100644
--- a/repos/base-foc/ports/foc.hash
+++ b/repos/base-foc/ports/foc.hash
@@ -1 +1 @@
-db44371239ad6769073fae0a3f2bd0ff107c399d
+d555d0b742e28f77197dd0dd722a48165ebb1cd6
diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port
index 27d04c94a..fec31c163 100644
--- a/repos/base-foc/ports/foc.port
+++ b/repos/base-foc/ports/foc.port
@@ -2,5 +2,5 @@ LICENSE   := GPLv2
 VERSION   := git
 DOWNLOADS := foc.git
 URL(foc)  := https://github.com/skalk/foc.git
-REV(foc)  := c60f50987cdb2eb645caa63ab497f4f955256548
+REV(foc)  := e8d92225e4e3e13c185398acb9cf1ded362efaf2
 DIR(foc)  := src/kernel/foc