genode

Files

Christian Helmuth 4491c070be input: fix Codepoint::INVALID in Press event

The Press event is actually a Press_char event with a default codepoint.
The default codepoint is now

  Codepoint { Codepoint::INVALID } /* value 0xfffe */

in contrast to

  Codepoint { Input::Event::INVALID } /* value 0 */

Issue #3483

2019-08-28 14:22:32 +02:00

doc

…

include

input: fix Codepoint::INVALID in Press event

2019-08-28 14:22:32 +02:00

lib

os: name tz_vmm unambigously (ref #2190 )

2019-05-27 14:46:53 +02:00

recipes

Adjust quotas for seL4

2019-08-28 14:19:45 +02:00

run

Configurable set_rtc values in RTC test

2019-08-21 13:25:25 +02:00

src

utf8: non-character U+fffe as invalid codepoint

2019-08-28 14:22:32 +02:00

xsd

timeout_types.xsd: Minutes type

2019-08-21 12:37:02 +02:00

README

…

README

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.