From 754d1bd4a393b235a2ce448b90478ad76fd77d41 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Mon, 25 Sep 2017 15:53:28 +0200
Subject: [PATCH] usb_report_filter: check device ds

Make sure we actually can report devices on USB driver device updates.

related to #2527
---
 repos/os/src/app/usb_report_filter/main.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/app/usb_report_filter/main.cc b/repos/os/src/app/usb_report_filter/main.cc
index 54ede7cf07..6a53b8b45a 100644
--- a/repos/os/src/app/usb_report_filter/main.cc
+++ b/repos/os/src/app/usb_report_filter/main.cc
@@ -299,6 +299,8 @@ class Usb_filter::Device_registry
 		{
 			using namespace Genode;
 
+			if (!_devices_rom.valid()) return;
+
 			/*
 			 * XXX it might happen that the device list has changed after we are
 			 *     waiting for the usb_drv_config update