ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,257 Commits 2 Branches 70 Tags 87 MiB
55506f432e
Commit Graph

4257 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Boettcher
c0a2388978 x86: avoid warning if memory is attached twice 
Issue #1848
 2016-01-13 14:59:05 +01:00
Alexander Boettcher
cec3ca6a70 x86: use slave label to differentiate device PDs 
Issue #1848
 2016-01-13 14:59:05 +01:00
Alexander Boettcher
82e35326b7 os: support different binary name for slaves 
Issue #1848
 2016-01-13 14:59:04 +01:00
Alexander Boettcher
daf67f7baa intel_fb: remove x201 workaround 
The workaround is no longer needed as we now propagate the proper device
ID as BDF to the kernel in the platform driver.

Issue #1848
 2016-01-13 14:58:01 +01:00
Alexander Boettcher
a258caa7ab nova: propagate bdf for assign_pci properly 
Now, the right PCI bus:device:function (BDF) is reported to the kernel
during assign_pci syscall - beforehand it was ever 0:0.0. The BDF is
needed to lookup the correct DMAR unit the kernel has to configure. This
was revealed as the DMAR unit for Intel graphics on x201 is not the same
as for all other PCI devices we have drivers for on this platform.

Fixes #1848
 2016-01-13 14:57:02 +01:00
Josef Söntgen
eb16ad3ad9 noux-pkg: port of tar-1.27 
Issue #403
 2016-01-13 14:49:11 +01:00
Emery Hemingway
9f9510ddb1 libc: implement fstatat by wrapping stat and lstat 
Fixes #403
 2016-01-13 14:49:11 +01:00
Emery Hemingway
3087b72438 os/path.h: new convenience functions 
Infix operators == and !=.
Capacity accessor.

Issue #403
 2016-01-13 14:49:11 +01:00
Martin Stein
b63941f456 hw imx53 tz_vmm: fix compiler warnings 
There were warnings in tz_vmm/block.cc due to an unitialized variable.

Fixes #1849
 2016-01-13 12:28:07 +01:00
Guido Witmond
2e0e767f93 Upgrade lighttpd to 1.4.38 
Fixes #1839
 2016-01-13 11:14:05 +01:00
Norman Feske
b314430118 News item for FOSDEM 2016 2016-01-13 11:14:04 +01:00
Adrian-Ken Rueegsegger
8ab0638be9 platform_drv: report MSI masking capability 2016-01-13 11:14:04 +01:00
Emery Hemingway
b9c234a341 Libc: sigprocmask reports all signals blocked 
Fixes #1756
 2016-01-13 11:13:52 +01:00
Emery Hemingway
7186c45de6 noux: getdtablesize support 
Fixes #1847
 2016-01-08 15:07:58 +01:00
Emery Hemingway
976833f171 libc: getdtablesize support 
Issue #1847
 2016-01-08 15:07:57 +01:00
Emery Hemingway
2d50552522 Remove Genode namespace from File_system 
Fixes #1845
 2016-01-08 14:48:52 +01:00
Josef Söntgen
9fb08e045a libports: fix delay in SDL audio backend 
Instead of using the 'alloc()' method to allocate new packets use
the 'next()' method with the previous packet. This is needed because
the last audio stack changes broke the semantics assumed by 'alloc()'.

We now keep track of the already queued packets by hand.

Fixes #1827.
 2016-01-08 14:48:17 +01:00
Emery Hemingway
56c637c1f6 VFS tar: always set dirent type 
Assume tar nodes with missing records are directories.

Fixes #1843
 2016-01-08 14:37:58 +01:00
Josef Söntgen
b4c5fb2d29 sdl: use Genode::destroy to free framebuffer 
Fixes #1838.
 2016-01-08 14:37:57 +01:00
Christian Helmuth
a98e9c1822 libc: fix test for libc_block 2016-01-08 14:37:57 +01:00
Norman Feske
948cb3ef0a os: minor whitespace fixes in nic_loopback 2016-01-08 14:37:57 +01:00
Alexander Boettcher
1d5aa4ca7e nova: avoid warnings because of oom handling 
Use kernel branch which is more accurate in accounting memory, which avoids
kernel messages of following form:

[0] warning: insufficient resources ...

Fixes #1830
 2016-01-08 14:37:57 +01:00
Adrian-Ken Rueegsegger
b1b3c7bf34 doc: Extend Muen tutorial to match new build process 2016-01-08 14:37:57 +01:00
Adrian-Ken Rueegsegger
316134caf8 run: Add iPXE support to hw 2016-01-08 14:37:57 +01:00
Adrian-Ken Rueegsegger
fcde1d668c hw_x86_64_muen: Extend build.conf with image/muen params 
Enable automatic build of Muen system image by adding the image/muen run
script to RUN_OPT. Also specify --image-muen parameters with explanatory
comments.

Note: The ISO image is not built by default anymore.
 2016-01-08 14:37:56 +01:00
Adrian-Ken Rueegsegger
bffddd7e15 tool: Extend hw boot_dir script to support Muen SK build 2016-01-08 14:37:56 +01:00
Adrian-Ken Rueegsegger
aefacc9310 run: Add image/muen script to support Muen SK build 
The script takes the following RUN_OPT parameters:

--image-muen-external-build  Muen system is built automatically or externally
--image-muen-system          Muen system policy
--image-muen-components      Muen system components
--image-muen-hardware        Muen hardware platform
--image-muen-gnat-path       Path to GNAT toolchain
--image-muen-spark-path      Path to SPARK toolchain
 2016-01-08 14:37:56 +01:00
Adrian-Ken Rueegsegger
cb68f9a320 hw: Add kernel/spec/muen/target.mk to build Muen SK 
This adds the automated compilation of the Muen Separation Kernel and
the required components to the hw_x86_64_muen build process.
 2016-01-08 14:37:56 +01:00
Adrian-Ken Rueegsegger
8d2f2b0101 hw: Add port for Muen Separation Kernel 
For additional information about the Muen SK refer to the project page
at [1].

[1] - http://muen.codelabs.ch/
 2016-01-08 14:37:56 +01:00
Adrian-Ken Rueegsegger
d3a4ed87d1 hw_x86_64_muen: Drop QEMU related RUN_OPTS 
This platform does not support execution on QEMU.
 2015-12-21 09:35:23 +01:00
Adrian-Ken Rueegsegger
a98b94f80e run: Pass AMT log password via environment variable 
This avoids exposing the cleartext AMT password in the log output.
 2015-12-21 09:35:23 +01:00
Adrian-Ken Rueegsegger
184bffbce3 run: Add filter support to AMT log 
Add --log-amt-filter option which allows to sanitize the AMT log output by
piping it through a filter.
 2015-12-21 09:35:23 +01:00
Christian Helmuth
acab2515e1 base-linux: remove get_pid debug helper 
Fixes #1829
 2015-12-21 09:22:40 +01:00
Alexander Boettcher
7ee3e98551 nova: update kernel to fix assertion 
Some special pages (0-page, 1-page) in the kernel must not be freed up
during PD destruction.

Fixes #1828
 2015-12-18 15:04:25 +01:00
Christian Helmuth
6699290766 Optional label in Nic::Connection constructor 
Fixes #1826
 2015-12-17 15:15:24 +01:00
Christian Helmuth
c43bd472ac packet_stream: peek_packet() should be const 
This also fixes the wrong return type.

Fixes #1800
 2015-12-17 11:12:53 +01:00
Martin Stein
6deb80f66d ahci_bench: fix condition for test end 
Fixes #1824
 2015-12-17 10:41:09 +01:00
Martin Stein
852b799cd4 blk-bench: don't write if not requested 
Because a check for the TEST_WRITE configuration was missing as condition for a
packet submit, the test caused unwanted write access to the device.

Ref #1824
 2015-12-17 10:39:47 +01:00
Martin Stein
96649c716d Remove obsolete block_bench test 
This test is deprecated according to its author and test/blk/bench
shall be used instead.

Ref #1824
 2015-12-17 10:39:06 +01:00
Christian Helmuth
14c8380507 xml_generator: support bool and integer types 
The Xml_generator is extended by overloads for bool as well as signed
and unsigned int, long, and long long.

Fixes #1819
 2015-12-17 10:38:19 +01:00
Christian Helmuth
98a4cb27b2 decorator_stress: explicitly generate long values 
Explicitly cast floats to long as we currently do not plan to support
float in Xml_generator and previously the value was implicitly casted to
long anyway.

Issue #1819
 2015-12-17 10:38:19 +01:00
Christian Helmuth
971b531d58 platform_drv: increase RAM config for -O0 builds (again) 2015-12-17 10:38:19 +01:00
Christian Helmuth
40b8da8755 rom filter: amend name of run script in README 2015-12-17 10:38:19 +01:00
Emery Hemingway
6e9fa10e65 server/report_rom: partial ROM label matching 
Fixes #1801
 2015-12-17 10:38:18 +01:00
Christian Prochaska
23ff3b1877 nitpicker: fix focus change permission checks 
Fixes #1816
 2015-12-17 10:38:18 +01:00
Christian Helmuth
dc17e16897 signal: cleanup allocations / reset globals in test 
I conserve these cleanups to enable the looped execution of all test
functions as I did to hunt a bug. The loop can easily be added to
main().
 2015-12-10 13:17:11 +01:00
Josef Söntgen
48738bbf63 libports: update libssh to 0.7.2 
Fixes #1811.
 2015-12-10 13:16:29 +01:00
Josef Söntgen
1073d6077b noux-pkg: update OpenSSH to 7.1p1 
Fixes #1810.
 2015-12-10 13:16:29 +01:00
Josef Söntgen
50b8094d0d noux: extent network errno handling 
Add ECONNRESET, ECONNABORTED and EHOSTUNREACH.

Issue #1810.
 2015-12-10 13:16:29 +01:00
Josef Söntgen
cebef2bda3 noux: make copy of input fds in SYSCALL_SELECT 
Executing the system call will change the input fds as a side-effect
because the select_in.fds and select_out.fds structure are part of a
union. Since the original select_in.fds content is needed afterwards
make a copy instead of using a reference.

Fixes #1809.
 2015-12-10 13:16:29 +01:00