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

8911 Commits

Author SHA1 Message Date
Alexander Boettcher c5c5f8754c test-init: add test to check for affinity warning 
Issue #1412
 2020-02-04 15:51:09 +01:00
Alexander Boettcher 5be3bf4f26 init: warn about missing affinity-space 
if affinity is set by children

Issue #1412
 2020-02-04 15:51:09 +01:00
Alexander Boettcher d132fc0a73 init: scale affinity location 
Issue #1412
 2020-02-04 15:51:09 +01:00
Christian Helmuth 285a33c97d dde_linux: add missing white space in log message 2020-02-04 15:51:09 +01:00
Alexander Boettcher f09ac23144 base: Timestamp type on arm_64 is 64bit 2020-02-04 15:51:09 +01:00
Alexander Boettcher 734752d6b5 base-nova: show size of framebuffer correctly 2020-02-04 15:51:09 +01:00
Christian Prochaska 4fc6c4ff5c test-tcp_bulk_lwip: increase timeout value 
Fixes #3604
 2020-02-04 15:51:09 +01:00
Christian Prochaska 746d373362 vfs_lxip: classify 'data' file as continuous 
Fixes #3603
 2020-02-04 15:51:09 +01:00
Alexander Boettcher 2256f5fb4b dde_linux: add dma_wmb/rmb barriers for arm_v6 2020-02-04 15:51:09 +01:00
Christian Prochaska d8e2c95597 vfs server: ensure retry for stalled session 
Fixes #3600
 2020-02-04 15:51:09 +01:00
Alexander Boettcher 6506240642 dde_linux: add dma_wmb/rmb barriers for arm_v7 
and remove re-defined dma_wmb in fec driver
 2020-02-04 15:51:09 +01:00
Sebastian Sumpf bd284347da libports: fix undefined reference for gmp on arm_v8 
* enable native 'invert_limb' implemenation
* disable native 'udiv_qrnnd' implemenation

fixes #3598
 2020-02-04 15:51:08 +01:00
Sebastian Sumpf 3813f9772a libports: add '__gmpn_invert_limb' for arm_v7 
Implementation was missing.

issue #3598
 2020-02-04 15:51:08 +01:00
Sebastian Sumpf 1902d1a06b hw: do not map boot modules in bootstrap 
This commit safes virtual address space.
 2020-02-04 15:51:08 +01:00
Josef Söntgen 7ecabb25eb ssh_terminal: address ambigouity of return values 
Replace return values with appropiate bool and document two-staged
publickey authentication. This fixes a bug where wrong authentication
attempts are not properly denied.

Issue #3590.
 2020-02-04 15:51:08 +01:00
Alexander Boettcher 5b633a83df core: dissolve thread object on failed creation 
Fixes #3596
 2020-02-04 15:51:08 +01:00
Norman Feske beb8bf498c base-hw: add explicit array-bounds check 
This patch rules out out-of-bounds array accesses without inspecting the
caller. It is not a bug fix but adds clarity.
 2020-02-04 15:51:08 +01:00
Norman Feske de764d8490 base-hw/muen: add explicit array-bounds check 2020-02-04 15:51:08 +01:00
Norman Feske 5635c1318c base-hw: explicit bounds check in store_apic_id 
Avoid relying on the caller regarding the CPU index argument to ease the
reasoning about the code.
 2020-02-04 15:51:08 +01:00
Norman Feske 01713c74f9 base-foc: explicit array-index bounds check 
Adding an explicit check clarifies at the first glance that the array
bounds are respected without needing knowledge about MAX_CAPS_PER_MSG
and L4_UTCB_GENERIC_DATA_SIZE (used for dimensioning 'mr').
 2020-02-04 15:51:08 +01:00
Norman Feske 9ec66f0594 allocator_avl: simplify structure 
This patch changes the code of '_alloc_two_blocks_metadata' to not
leak the result of a partial allocation in the out parameters of
the method. This eases the reasoning about the absence of a
use-atfer-free problem (there was none).
 2020-02-04 15:51:08 +01:00
Norman Feske 6947bddd3f base: avoid use of memcpy 2020-02-04 15:51:08 +01:00
Norman Feske 37ec636018 test/smp: add missing destruct call 2020-02-04 15:51:08 +01:00
Norman Feske 9bba6613e7 base/affinity.h: simplify member initialization 
This is just a minor style improvement.
 2020-02-04 15:51:08 +01:00
Christian Prochaska d4f246517c depot: recipe for drivers_interactive-imx8q_evk 
Fixes #3595
 2020-02-04 15:51:08 +01:00
Stefan Kalkowski 5bfebe7a3f depot: recipe for usb_hid_drv 
Fixes #3594
 2020-02-04 15:47:27 +01:00
Stefan Kalkowski 3df67362b4 depot: recipe for usb_host_drv 
Fixes #3593
 2020-02-04 15:47:27 +01:00
Christian Prochaska f1042e7fb1 depot: recipe for imx8_fb_drv 
Fixes #3592
 2020-02-04 15:47:27 +01:00
Christian Prochaska b29112efdf dde_linux: framebuffer driver for i.MX8 EVK 
Fixes #3591
 2020-02-04 15:47:27 +01:00
Stefan Kalkowski fe899eecc7 base-linux: fix configurable host toolchain 
With the '-x' argument of the 'g++' tool the language gets specified,
therefore it has to be 'c++' furthermore, not CUSTOM_HOST_CXX. Moreover,
when import-lx_hybrid.mk gets evaluated first, global.mk is not included
yet, therefore we cannot eagerly evaluate the CXX_LINK_OPT_NO_PIE variable.

Issue #3466
 2020-02-04 15:47:27 +01:00
Norman Feske c2a2ec121f libc-net/resolv: silence warning in 3rd-party code 2020-02-04 15:47:27 +01:00
Norman Feske e1e1fa23b7 zlib: fix compile warning 
This patch includes 'unistd.h' to avoid warnings about the implicit
declaration of the functions ‘read’, 'close', and 'write.
 2020-02-04 15:47:27 +01:00
Norman Feske aee8d35dc4 libcrypto: suppress warning about unused value 2020-02-04 15:47:27 +01:00
Christian Helmuth 4bbbf5d2e3 dde_linux: reduce compiler warnings 2020-02-04 15:47:27 +01:00
Norman Feske ba7e832c5d ssh_terminal: fix compile warning 
server.h:51:12: warning: ‘int write_avail_cb(socket_t, int, void*)’
                declared ‘static’ but never defined [-Wunused-function]

This patch fixes the warning by moving the user of 'write_avail_cb' to
the compliation unit that defines it.
 2020-01-03 14:44:31 +01:00
Norman Feske bbfc092a31 core: avoid use of C array as buffer in Log_root 2020-01-03 14:44:15 +01:00
Norman Feske de52cf1cdd core: check return value of map.metadata 
Even though the call of map.metadata is known to always return a valid
pointer (because the meta data is assigned in the code just above),
better add an explicit nullptr check.
 2020-01-03 14:44:15 +01:00
Norman Feske 783c05fd6c uart/exynos: be explicit about unused return value 2020-01-03 14:44:15 +01:00
Norman Feske 6ae98e2e6d base: mark Parent::Close_result with [[nodiscard]] 2020-01-03 14:44:15 +01:00
Norman Feske ffc099eb54 cxx: add nullptr check in calloc 
Even though malloc via the cxx_heap never fails, the implementation of
calloc should better not rely on this assumption.
 2020-01-03 14:44:15 +01:00
Christian Helmuth 9321067b68 Remove unused/redundant longlong.h 
This was used by an ancient libgmp port - longlong.h is now part of the
GMP sources.
 2020-01-03 14:21:41 +01:00
Christian Prochaska 0eaa1f7a08 lx_kit: support enable/disable IRQ and pass IRQ number to handler 
Fixes #3589
 2020-01-02 15:53:46 +01:00
Christian Helmuth 18f90ca1e3 nova: request stack pointer on page fault 
The SP value is part of the Page_fault_info object but was not requested
from the kernel on portal creation.
 2020-01-02 15:30:28 +01:00
Christian Helmuth 9a35743df6 Mark packet-stream descriptor head/tail as volatile 
`volatile` effectively prevents instruction reordering by the compiler
and fixes an issue with -O3 compiled components.

Note, this commit does not address further arguments regarding memory
barriers and volatile voiced in issue #693.

Issue #693
 2019-12-20 14:34:22 +01:00
Christian Helmuth 8d63a3c1f3 Increase timeout of RTC test 
It takes its time on sel4 and Qemu.
 2019-12-20 14:28:18 +01:00
Alexander Boettcher 1ac33caa90 nova: handle rpc_entrypoint destruction better 
Fixes #1921
 2019-12-20 11:31:39 +01:00
Alexander Boettcher 1c361bf545 base: add test to destruct entrypoint 
Issue #1921
 2019-12-20 11:31:27 +01:00
Alexander Boettcher a41dd48986 nova: avoid invalid capability counting overhead 
- handle it the same way as done for other kernels

Fixes #3579
 2019-12-20 11:29:21 +01:00
Christian Helmuth b931b67cba depot: update recipe hashes 2019-12-19 17:01:43 +01:00
Christian Helmuth 24435e9ca1 Run TCP bulk tests on all Qemu platforms 
This explicitly includes ARM32/64.
 2019-12-19 17:01:43 +01:00