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
Josef Söntgen
8ca4f7a794
noux-pkg: update lynx to 2.8.8rel.2
...
Fixes #1818 .
2015-12-10 13:16:28 +01:00
Norman Feske
8845ca52c9
News item for USB-Armory article
2015-12-10 13:16:28 +01:00
Alexander Boettcher
a73c6470f6
nova: handle hip/mb memory region of size 0
...
Fixes #1814
2015-12-10 13:16:28 +01:00
Alexander Boettcher
d0db15031a
run: provide missing timer route for vbox_pointer
...
Add missing timer route.
Fixes #1817
2015-12-10 13:16:28 +01:00
Alexander Boettcher
4e00e8ac68
run: enable vbox pointer for vbox_auto* scripts
...
Makes mouse shapes of Windows VM visible.
Issue #1817
2015-12-10 13:16:28 +01:00
Alexander Boettcher
1aa6a2a4a1
nova: fix kernel freezing
...
Fixes #1815
2015-12-10 13:16:28 +01:00
Christian Prochaska
89d3083c9f
qt5: update the 'lib_mk_file_generator' README file
...
Fixes #1813
2015-12-10 13:16:27 +01:00
Stefan Kalkowski
2316937e58
hw: remove main thread's initial UTCB from vm area
...
The main thread's UTCB, used during bootstrap of the main thread before
it allocates its context area, needs to be outside the virtual memory
area controlled by the RM session, because it is needed before the main
thread can access its RM session.
Fix #1804
2015-12-10 13:16:27 +01:00
Christian Helmuth
610b733133
liquid_fb: generate periodic sync events
...
Issue #1762
2015-12-10 13:16:27 +01:00
Christian Helmuth
e387d2098d
demo: adapt nested nitpicker config
2015-12-10 13:16:27 +01:00