6430 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Norman Feske	cda71e198f	init: limit rate of periodic reports by 'delay_ms' ... This is a follow-up patch to "init: periodic state updates if sensible". In situations where the report rate is deliberately limited via the 'delay_ms' attribute while also reporting child-resource stats, we don't want generate reports at a fixed rate of one second. This patch limits the rate according to the 'delay_ms' value.	2017-11-30 11:23:12 +01:00
Norman Feske	d2c7cfa5fa	input_filter: avoid closing input sessions ... The input filter used to temporarily close all input sessions upon its reconfiguration. In most cases, the same set of sessions is re-established immediately afterwards. However, at the server (driver) side, the closing of the session implicitly disables the input-event queue. Hence events generated by the hardware while the session is closed are dropped. This becomes a noticeable problem when using the recently added <rom> modifier feature for handling capslock. The change of the ROM always triggers the re-configuration of the input filter. When pressing capslock and other keys at a high rate, press/release events may get lost. This patch solves this problem by maintaining all input sessions that are defined in both the old and new configuration. It thereby removes the short duration where the input event queues are temporarily disabled at the drivers.	2017-11-30 11:23:12 +01:00
Norman Feske	c05ab9c310	drivers_managed-pc: propagate keyboard LEDs ... This patch supplements the drivers subsystem with the ability to propagate the global capslock and numlock states to PS/2 and USB HID keyboards.	2017-11-30 11:23:12 +01:00
Sebastian Sumpf	fe4f304815	usb: LED suppport	2017-11-30 11:23:11 +01:00
Christian Helmuth	12461291b8	Draw frame in framebuffer test ... Issue #2555	2017-11-30 11:23:11 +01:00
Christian Helmuth	4112037c0c	hw: fix building usb_armory ... This removes cpu_trustzone.cc (which was removed in d6a05245f2) from the build dependencies. Issue #2540	2017-11-30 11:23:11 +01:00
Alexander Boettcher	19fe5da9be	core: use separate signal ep ... Fixes #2584	2017-11-30 11:23:11 +01:00
Alexander Boettcher	8bc4389411	core: support to serve signals by another ep ... Issue #2584	2017-11-30 11:23:11 +01:00
Martin Stein	d37f32fb21	nic_router.run: raise timeouts for sel4+qemu	2017-11-30 11:23:11 +01:00
Christian Prochaska	c6718677b2	vbox_pointer: fix visibility flag handling ... Fixes #2580	2017-11-30 11:23:10 +01:00
Alexander Boettcher	5e4b523357	top: increase number of supported trace subjects ... and print error if it may not be enough.	2017-11-30 11:23:10 +01:00
Sebastian Sumpf	9c852c750a	vfs: handle root directory explicitly ... This makes '/' and the actual root of VFS distinguishable. A VFS root may contain one ore more '/' entries for each file system. 'opendir' for the VFS root opens all file systems via 'open_composite_dir', while 'opendir' for '/' only returns a VFS handle. Fixes #2569	2017-11-30 11:23:10 +01:00
Christian Helmuth	66d5954fc5	Adapt stack size of threads in signal test ... This fixes the warning "small stack of 3996 bytes [...] may break Linux signal handling" on 32-bit base-linux.	2017-11-30 11:23:10 +01:00
Emery Hemingway	0de751a1c9	Rename app/mupdf to app/pdf_view, create depot recipes ... The name 'mupdf' is both the name of a library and a component, thus preventing a depot recipes for both the shared library and component. Fix #2582	2017-11-30 11:23:10 +01:00
Christian Helmuth	18fcbbe1a1	depot: support path names including spaces ... Related to #2582	2017-11-30 11:23:09 +01:00
Alexander Boettcher	858f5732ba	hw: add mbi2 framebuffer support ... Issue #2555	2017-11-30 11:23:09 +01:00
Alexander Boettcher	e1ac124a4d	hw: evaluate also ACPI RSDP v1 with MBI2 ... Issue #2526	2017-11-30 11:23:09 +01:00
Alexander Boettcher	2b6ae514b5	sel4: add mbi2 framebuffer support ... Issue #2555	2017-11-30 11:23:09 +01:00
Martin Stein	e87f63944f	timeout: replace Duration operators by methods ... void += (Microseconds) -> void add(Microseconds) void += (Milliseconds) -> void add(Milliseconds) bool < (Duration) -> bool less_than(Duration) Issue #2581	2017-11-30 11:23:09 +01:00
Martin Stein	26bcd439f7	timeout: fix bug in duration + duration testing ... The += operator contained bugs. We now also do some tests on the Duration type at the beginning of the timeout test. Fixes #2581	2017-11-30 11:23:09 +01:00
Martin Stein	5d39acd3c3	timer: clamp one-shot timeouts to avoid overflow ... Issue #2579	2017-11-30 11:23:08 +01:00
Alexander Boettcher	f3dafbf5a6	nova: limit timeout rate in nova_timer_drv ... Issue #2579	2017-11-30 11:23:08 +01:00
Alexander Boettcher	59f97802a9	timer.run: provide more information if test fails ... Issue #2579	2017-11-30 11:23:08 +01:00
Alexander Boettcher	80778b267d	timer: read PIT timer solely after interrupt ... Stop gap solution until #2579 gets resolved.	2017-11-30 11:23:08 +01:00
Alexander Boettcher	2ba5f8f4f3	timer framework: use Time_source::curr_time() ... Issue #2579	2017-11-30 11:23:08 +01:00
Norman Feske	e8db9bda9a	libports: fix download location of fribidi ... Apparently, fribidi.org is no more and just points to the GitHub project now.	2017-11-30 11:23:07 +01:00
Alexander Boettcher	f4aff87e25	make _timer_ticks_to_us 64bit safe ... fixes PIT running to fast on seL4 x86_64	2017-11-30 11:23:07 +01:00
Norman Feske	a255ffaee9	input: disarm obnoxious press/release events ... This patch adds a sanity check to the Event::type accessor. If the key code of a given PRESS or RELEASE event is out of the valid range, it reports an INVALID event. This way, client side code does not need to deal with such edge cases. E.g., on Lenovo notebooks, the ps2 driver reports strange key events when pressing shift-pageup/pagedown, violating the general assumption that there is a release event for each press event. By flagging these events as INVALID, the client-side logic stays intact.	2017-11-30 11:23:07 +01:00
Norman Feske	f2a5648deb	ps2_drv: respond to dynamic reconfiguration	2017-11-30 11:23:07 +01:00
Josef Söntgen	b3b10c1439	dde_linux: create wifi recipe	2017-11-30 11:23:07 +01:00
Josef Söntgen	5a5af878f7	libports: create vfs_jitterentropy recipe	2017-11-30 11:23:07 +01:00
Josef Söntgen	c364c4de2a	libports: create libssl recipe	2017-11-30 11:23:07 +01:00
Josef Söntgen	a6b4812b78	libports: create libcrypto recipe	2017-11-30 11:23:06 +01:00
Josef Söntgen	f32344138f	openssl: patch source relative paths in SSL	2017-11-30 11:23:06 +01:00
Josef Söntgen	987ec9d371	os: create recipe for mixer	2017-11-30 11:23:06 +01:00
Josef Söntgen	3988d6cde2	dde_bsd: create recipe for audio_drv	2017-11-30 11:23:06 +01:00
Alexander Boettcher	7d54d1da0c	sel4: enable support for direct unmap in core ... Issue #2563	2017-11-30 11:23:06 +01:00
Emery Hemingway	caba2d3021	Enforce use of a custom Nim compiler ... Use a custom Nim compiler at '/usr/local/genode-nim' that can be built with a makefile at 'tool/tool_chain_nim'. Fix #2545	2017-11-30 11:23:06 +01:00
Alexander Boettcher	990b7945a7	sel4: use kernel branch 7.0 + our mastered commits ... for uefi, multiboot2, benchmark interface adaptations and ARM define build fixes. Issue #2562	2017-11-30 11:23:05 +01:00
Alexander Boettcher	9c6de44f98	core: use core mem allocator in Pd_session ... Fixes #2563	2017-11-30 11:23:05 +01:00
Christian Prochaska	365bec38a0	gdb_monitor: handle session requests for child services ... Fixes #2574	2017-11-30 11:23:05 +01:00
Christian Prochaska	41b3d3abc1	init: make 'Server' class usable by external components ... Issue #2574	2017-11-30 11:23:05 +01:00
Josef Söntgen	a110fef4d9	libports: initial e2fsck port ... In contrast to the already available e2fsprogs port, this one does not depend on Noux. Issue #2558.	2017-11-30 11:23:05 +01:00
Josef Söntgen	84e0ffe7cb	rump_fs: try to mount the fs on startup ... By now the file system gets mounted and unmounted on demand (whenever the first clients comes along and whenever the last client leaves). As a precaution we now also try to mount and unmounted the file system in the init phase to prevent the first client from failing to its own surprise. Issue #2558.	2017-11-30 11:23:05 +01:00
Josef Söntgen	f2d063be07	rump_fs: add support for session (un-)mounting ... Issue #2558.	2017-11-30 11:23:05 +01:00
Josef Söntgen	616352b840	rump_fs: disable access time updates ... Mount all file system with 'noatime' option because it is hardly useful if there is no proper base period. Issue #2558.	2017-11-30 11:23:04 +01:00
Josef Söntgen	adb00d329f	rom_filter: copy input node content to output node ... Add suppport for copying the content of an 'input' node to the 'output' node. Issue #2558.	2017-11-30 11:23:04 +01:00
Josef Söntgen	f9c2e0e21c	lx_block: add file based Block driver for Linux ... Issue #2558.	2017-11-30 11:23:04 +01:00
Alexander Boettcher	9646c17f2e	bender: fix free memory calculation for Multiboot2 ... Fixes #2487	2017-11-30 11:23:04 +01:00
Emery Hemingway	de5c0603f1	platform_drv: account session capabilities with a Cap_quota_guard ... The platform driver is a critical component and must not allow sessions to deplete its own resource quotas. Fix #2576	2017-11-30 11:23:04 +01:00