4678 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Norman Feske	9b3ae0ed2d	Add repos/world to .gitignore	2016-08-29 17:27:09 +02:00
Emery Hemingway	d741508330	test/vfs_stress: ugrade logging, reduce to single thread ... Issue #1987	2016-08-29 17:23:21 +02:00
Emery Hemingway	d354f7a8b9	server/vfs: upgrade logging to new API ... Issue #1987	2016-08-29 17:23:21 +02:00
Christian Helmuth	3b9f022f1c	libc: some symbol cleanups	2016-08-29 17:23:20 +02:00
Alexander Boettcher	d409b0e98b	usb: fix for unconfigured usb devices ... Avoids null pointer in usb raw.	2016-08-29 17:23:20 +02:00
Christian Prochaska	c72d1655f4	vbox: read 'force_ioapic' config option only once ... Fixes #2049	2016-08-29 17:23:20 +02:00
Stefan Kalkowski	7f8f0f50ea	block layer: transition to new API ... Ref #1987 Fix #2058	2016-08-29 17:23:20 +02:00
Johannes Schlatow	acd2a40076	base: print() functions for floating point types ... Fixes #2055	2016-08-29 17:23:19 +02:00
Josef Söntgen	f81d4cfbbb	wifi_drv: add 7265D-19.ucode to fw list ... Needed for x250. Fixes #2057.	2016-08-29 17:23:19 +02:00
Christian Prochaska	4949f3abba	dde_linux: '__wait_event()' fix ... Fixes #2054	2016-08-29 17:23:19 +02:00
Christian Helmuth	1776babbd1	Revert "arm: prevent 64K default alignment of text segment" ... This reverts commit 2127c8acf2 because the alignment is already sanitized by commit 11c31c4432. (discussed here 2127c8acf2)	2016-08-10 11:07:57 +02:00
Alexander Boettcher	5aabfa9dd0	sel4: disable noux_tool_chain_auto.run ... Currently leaking to many capability selectors, so that the tool chain test can't succeed. Issue #2044	2016-08-10 11:07:57 +02:00
Alexander Boettcher	1b895484d9	sel4: adjust qemu memory in same basic run scripts ... Core on seL4 is configured to run on native hardware, so some static allocators are bit over dimensioned. Some run scripts fail on qemu because solely 64M are available in the system - adjust the affected scripts. Issue #2044	2016-08-10 11:07:57 +02:00
Christian Helmuth	7038825522	qt5: initial support for multi-touch input ... The initial support reports TouchPointPressed, TouchPointMoved, and TouchPointReleased for multiple touch points, but is currently only tested with widgets not leveraging multi-touch events. In other words, I made sure synthetic mouse events are generated properly when using touch screens.	2016-08-10 11:07:56 +02:00
Christian Helmuth	b0f7717711	Enable USB and PS/2 in qt5 tests on x86 ... We now always run the input_merger as Input service provider and configure backends suitable for the used platform. On x86 hardware, we enable both, PS/2 and USB HID.	2016-08-10 11:07:56 +02:00
Christian Helmuth	9839e833f2	Enable linux in input run script	2016-08-10 11:07:56 +02:00
Alexander Boettcher	9988089862	sel4: workaround deadlock in core ... Issue #2044	2016-08-10 11:07:56 +02:00
Alexander Boettcher	b57c33159f	sel4: improve allocation in initial_untyped_pool ... Required to boot on hardware. The fragmentation is such unfortunate with the old allocator that alloc() will throw an exception during very early core boot phase. Issue #2044	2016-08-10 11:07:56 +02:00
Alexander Boettcher	356e6498b6	sel4: update to 3.2.0 ... - disable iommu - increase root_cnode further for native boot - support vesa driver on native hardware - don't mask edge triggered ioapic irqs - increase various allocators to get noux_tool_chain_* booting natively Issue #2044	2016-08-10 11:07:56 +02:00
Alexander Boettcher	b2a8cfde85	sel4: avoid corruption during ipc marshalling ... Issue #2044	2016-08-10 11:07:55 +02:00
Alexander Boettcher	bee0e11049	sel4: use notification objects for Genode::Lock ... Fixes #1717 Issue #2044	2016-08-10 11:07:55 +02:00
Alexander Boettcher	1472c0629b	sel4: allocate thread selectors during bind_thread ... That seems nowadays the right place in order to tell the caller that the thread couldn't be completely constructed. The return value false of bind_thread causes in Cpu_thread_component the throwing of Thread_creation_failed. thread.run now passes pthread.run now passes Issue #2044	2016-08-10 11:07:55 +02:00
Alexander Boettcher	997f5e8e27	sel4: implement thread suspend/pause/resume ... Issue #2044	2016-08-10 11:07:55 +02:00
Alexander Boettcher	155621767a	sel4: limit mp_server.run to 1 cpu for sel4 ... Issue #2044	2016-08-10 11:07:55 +02:00
Alexander Boettcher	198475b6b3	sel4: startup lib reinit support ... required for noux Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	c4c7979163	sel4: quirk for vanishing page table ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	9c8676b2ae	sel4: add revoke option to destruct cnode ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	c4ed38cfbc	sel4: fix vm_space has_page_table_at ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	b0c3427ed4	sel4: handle platform_pd destruction ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	ad7748592a	sel4: keep boot info in core's virt address space ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	4d10a28411	sel4: disable large mappings for device memory ... Issue #2044	2016-08-10 11:07:54 +02:00
Alexander Boettcher	657dd5faad	sel4: support region fault manager outside core ... rm_fault.run works Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	738ca74166	sel4: clear dataspace page wise ... Creating mappings inside core may exhaust the internal allocators if very large dataspaces must be cleared. Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	253f2aef0f	sel4: show pd name if flushing page table ... Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	998dfa6c5e	sel4: flush page table allocator if full ... Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	90390fe053	sel4: increase root cnode size in kernel ... required to boot setups like noux* Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	3a9c6eab17	sel4: use first free cap index reported by kernel ... required to bootstrap scenarios with more rom binaries, e.g. noux Issue #2044	2016-08-10 11:07:53 +02:00
Alexander Boettcher	99b8fc4408	sel4: enable vesa driver ... kernel : add required and reserved boot regions to device memory Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	821afd0199	sel4: support device memory for drivers ... Additionally, exclude boot-module from page_table_registry. Core does not use the boot-modules inside core. Adding it otherwise to the registry will use up the meta data allocator of the page_table_registry in core in scenarios with lot of boot modules, e.g. noux and friends. Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	5b9a61fcb9	sel4: properly detach core local regions ... Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	a396fa9563	sel4: support up to 16K capabilities per pd ... before we had 256 capabilities Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	73e35cdf6a	sel4: handle threads in destruction ... - revoke utcb - suspend thread before destruction, less noise during destruction Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	2aaeb8db1b	sel4: convert frame pages back to untyped memory ... to implement _revoke_ram_ds and to fix _unmap_local Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	b5ff552460	base: extend core_mem_alloc free by phys_addr ... required by base-sel4 to turn used page frames back to untyped memory Issue #2044	2016-08-10 11:07:52 +02:00
Alexander Boettcher	7501910c99	sel4: implement ipc_reply ... Issue #2044	2016-08-10 11:07:51 +02:00
Alexander Boettcher	43f2784564	sel4: initialize rcv_sel for ep threads ... Issue #2044	2016-08-10 11:07:51 +02:00
Alexander Boettcher	c68bca1f89	sel4: enable PIT timer and PS/2 input ... Issue #2044	2016-08-10 11:07:51 +02:00
Alexander Boettcher	e89b28ca1b	sel4: add signal support ... Fixes #1716 Issue #2044	2016-08-10 11:07:51 +02:00
Alexander Boettcher	93e2eecc52	sel4: add irq support ... Fixes #1718 Issue #2044	2016-08-10 11:07:51 +02:00
Alexander Boettcher	46cb20e2c0	sel4: add io_port service to core ... Fixes #1718 Issue #2044	2016-08-10 11:07:51 +02:00