ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,873 Commits 2 Branches 70 Tags 87 MiB
513a3f1d37
Commit Graph

4873 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alexander Boettcher
0ccb07f008 sel4: add "norelocate" option to bender 
Issue #2044
 2016-08-10 11:07:50 +02:00
Alexander Boettcher
af93f8d01b sel4: update to 3.1.0 
- adjust syscall bindings to support -fPIC
- read serial i/o ports from BIOS data area
- use autoconf.h provided by sel4
-- to avoid ambiguity between sel4 kernel and user libraries
-- remove manual set defines
- remove debug messages
- increase user virtual area to 3GB

Issue #1720
Issue #2044
 2016-08-10 11:07:50 +02:00
Alexander Boettcher
8b505306ed core: name initial threads not just "name" 
to make debugging more comfortable

Issue #2044
 2016-08-10 11:07:50 +02:00
Alexander Boettcher
cb675a12d8 base: factor out irq parsing into helper header 
to be used by sel4 in the next commit

Issue #2044
 2016-08-10 11:07:50 +02:00
Alexander Boettcher
464181b01d base: refactor io_port session implementation 
Split port API implementation into separate io_port_session_support.cc file,
so that base-sel4 may implement this part alternatively.

Issue #2044
 2016-08-10 11:07:50 +02:00