genode

Files

Christian Helmuth 701b1d41e8 input_filter: update character generators

This adds complete character-generator configurations for English (US),
German (Germany and Switzerland), and French (France and Switzerland).
The configs are manually amended and stripped-down versions of
xkb2ifcfg generated configs.

Issue #3483

2019-08-28 14:22:33 +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

input_filter: dead-key sequence support

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

src

input_filter: update character generators

2019-08-28 14:22:33 +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.