From e53249f6ce4b1b54879b12af4a5cb5f023b4343c Mon Sep 17 00:00:00 2001
From: Alexander Weidinger <alexwegoo@gmail.com>
Date: Tue, 7 May 2019 19:03:11 +0200
Subject: [PATCH] Add Platform_thread::state() for seL4

---
 repos/base-sel4/src/core/platform_thread.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/base-sel4/src/core/platform_thread.cc b/repos/base-sel4/src/core/platform_thread.cc
index fa326c00c..73464857b 100644
--- a/repos/base-sel4/src/core/platform_thread.cc
+++ b/repos/base-sel4/src/core/platform_thread.cc
@@ -198,10 +198,10 @@ void Platform_thread::resume()
 }
 
 
-void Platform_thread::state(Thread_state)
+void Platform_thread::state(Thread_state s)
 {
-	warning(__PRETTY_FUNCTION__, " not implemented");
-	throw Cpu_thread::State_access_failed();
+	if (_pager)
+		*static_cast<Thread_state *>(&_pager->state) = s;
 }