From 493d3e58cf1272b62b76682fcba9c7f84175ec0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Mon, 13 Feb 2017 19:11:19 +0100
Subject: [PATCH] ps2: remove usage of deprecated env()

Issue #2280.
---
 repos/os/src/drivers/input/spec/ps2/x86/main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/input/spec/ps2/x86/main.cc b/repos/os/src/drivers/input/spec/ps2/x86/main.cc
index 5baac3a548..7390365cff 100644
--- a/repos/os/src/drivers/input/spec/ps2/x86/main.cc
+++ b/repos/os/src/drivers/input/spec/ps2/x86/main.cc
@@ -5,7 +5,7 @@
  */
 
 /*
- * Copyright (C) 2007-2013 Genode Labs GmbH
+ * Copyright (C) 2007-2017 Genode Labs GmbH
  *
  * This file is part of the Genode OS framework, which is distributed
  * under the terms of the GNU General Public License version 2.
@@ -35,7 +35,7 @@ struct Ps2::Main
 {
 	Genode::Env &_env;
 
-	Input::Session_component _session;
+	Input::Session_component _session { _env, _env.ram() };
 	Input::Root_component    _root { _env.ep().rpc_ep(), _session };
 
 	Platform::Connection _platform { _env };