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

8897 Commits

Author SHA1 Message Date
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
Alexander Boettcher e54ff599ca base-hw: trace execution time of core threads 
Fixes #3572
 2019-12-19 17:01:43 +01:00
Sebastian Sumpf 04969b6be0 base-hw: add trace execution time support 
This enables the 'top' program on base-hw for debugging issue #3247 on
rpi.

Fixes #3572
 2019-12-19 17:01:42 +01:00
Christian Helmuth 1ddf1dbc25 Use ram-block in libc vfs tests on Rpi3 2019-12-19 17:01:42 +01:00
Christian Helmuth 8699f5592f wifi: run wpa_main in pthread 2019-12-19 17:01:42 +01:00
Norman Feske 73d089da36 Quota tweaks for base-sel4 2019-12-19 17:01:42 +01:00
Christian Prochaska c8cd09e72c qt5: don't build qt5_jscore and qt5_webcore for arm_v8a 
Fixes #3585
 2019-12-19 17:01:42 +01:00
Christian Prochaska be1ef01f10 stdcxx: add symbols needed by dosbox 
Fixes #3588
 2019-12-19 17:01:42 +01:00
Alexander Boettcher 0a1bc1f4b7 nova: add requesting time of killed SCs 
Fixes #3587
 2019-12-19 17:01:42 +01:00
Alexander Boettcher bcb7f45201 core: avoid dangling ptr in cpu thread component 
if exception is triggered during construction of a thread
 2019-12-19 17:01:42 +01:00
Alexander Boettcher 33db0e0d4d base: add uboot for imx8 as port 
that contains scripts to download and build uboot

Fixes #3584
 2019-12-19 17:01:42 +01:00
Christian Helmuth 504539ad1e vfs/lwip: notify I/O progress on sent packets 
Incoming ACK packets for sent data packets may be the only unblocker for
suspended write/send loops. This patch informs VFS users about I/O of
VFS handle on successfully sent packets.
 2019-12-19 17:01:42 +01:00
Christian Prochaska a62fce8dc5 sd_card_drv: i.MX8 support 
Fixes #3580
 2019-12-19 17:01:42 +01:00
Christian Prochaska 81a78cf1d0 usb_host_drv: fix 'matches->compatible' string access 
Fixes #3582
 2019-12-19 17:01:42 +01:00
Christian Helmuth 283135c9cd test-libc_getenv: allow unrelated content in log pattern 2019-12-19 17:01:42 +01:00