ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,948 Commits 8 Branches 38 Tags 41 MiB
d882277ce3
Commit Graph

8 Commits

Author SHA1 Message Date
Sebastian Sumpf
369ff2a001 dde_linux: update usb to 4.4.3 
Issue #1974.
 2016-05-26 15:54:12 +02:00
Norman Feske
3bceefc9cf Omit superfluous use of "CAP"/"SIGNAL" services 
The functionality of the former "CAP" and "SIGNAL" services is now
provided by core's "PD" service.
 2016-05-09 13:24:51 +02:00
Christian Helmuth
02f84f98c3 Explicitly set Qemu disk-image format to raw 
Prevents the annoying warning about

  WARNING: Image format was not specified for 'bin/test.img' and probing guessed raw.
           Automatically detecting the format is dangerous for raw images, write operations on block 0 will be restricted.
           Specify the 'raw' format explicitly to remove the restrictions.
 2016-04-11 11:51:44 +02:00
Sebastian Sumpf
64f39c9a42 usb_drv: Remove signal dispatching from storage 
Do not call 'wait_and_dispatch_one_signal' in storage back end. This causes a
race of the EP with the main thread.
 2015-12-10 13:16:26 +01:00
Alexander Boettcher
1f40d9de6a pci: convert to platform_drv 
Fixes #1542
 2015-06-22 14:43:34 +02:00
Alexander Boettcher
2e1686558c run: constrain physical memory for pci/acpi driver 
Permit pci/acpi driver to constrain physical memory allocation to needs of
the driver it serves.

Fixes #1045
 2015-02-16 13:40:38 +01:00
Christian Helmuth
0b5f901e58 Log name of exiting child from Child::exit() 
Fixes #1243.
 2014-09-11 10:23:39 +02:00
Norman Feske
ca971bbfd8 Move repositories to 'repos/' subdirectory 
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue #1082
 2014-05-14 16:08:00 +02:00