From 358759f609ce100b942b456b7e8fe60c2f76b1fa Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 31 Aug 2018 08:12:30 +0200 Subject: [PATCH] Minor refinement of the release notes 18.08 Thanks to Jeroen van Gelderen for the hint! --- doc/release_notes-18-08.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/release_notes-18-08.txt b/doc/release_notes-18-08.txt index 4028f184d9..413e1649bb 100644 --- a/doc/release_notes-18-08.txt +++ b/doc/release_notes-18-08.txt @@ -285,8 +285,8 @@ are advised to adapt their system scenarios. As an unfortunate regression, some 6xxx cards will not work properly. This issue is being investigated. -De-componentized USB stack -========================== +Decomposed USB stack +==================== The USB stack has a long history in the Genode OS framework. Back in May 2009, the first DDE-Linux-based driver was introduced, which was the USB input