alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
6,724 Commits 8 Branches 1 Tag
18.02-r79-rpi2
Commit Graph

6724 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Weidinger
8825fada72 Add support for Raspberry Pi 2 with Fiasco.OC 2019-08-22 19:00:16 +02:00
Alexander Weidinger
e646f0cc05 Merge branch '18.02-r79-bb_x15' into 18.02-r79 2019-08-22 15:45:57 +02:00
Alexander Weidinger
ddea5924ad Add support for BeagleBoard-X15 with Fiasco.OC 2019-08-22 15:45:33 +02:00
Alexander Weidinger
acdbc1f6f8 Merge branch '18.02-r79-sabre_lite' into 18.02-r79 2019-08-22 14:02:13 +02:00
Alexander Weidinger
27a1be050d Add support for Sabre Lite with Fiasco.OC 2019-08-22 14:01:48 +02:00
Alexander Weidinger
aa92071c96 Move run_kernel_wand_quad to run_kernel_hw_foc_sel4 2019-08-22 14:00:36 +02:00
Alexander Weidinger
8ff80272c3 Merge branch '18.02-r79-wand_quad' into 18.02-r79 2019-08-22 13:40:06 +02:00
Alexander Weidinger
0bde54c234 Add support for Wandboard Quad with Fiasco.OC 2019-08-22 13:39:24 +02:00
Alexander Weidinger
7716f22f42 Change foc upstream to https://git.mousetrap.xyz/alex/foc.git 2019-08-22 13:23:05 +02:00
Stefan Kalkowski
c3de2155b2 foc: update to recent revision r79 (fix #2884) 2019-08-22 13:03:41 +02:00
Christian Helmuth
1eefc8d42d version: 18.02 18.02 2018-02-28 13:57:59 +01:00
Christian Helmuth
1cb9eeee05 Update doc/components.txt 2018-02-28 13:00:28 +01:00
Norman Feske
a9cee58264 News item for version 18.02 2018-02-28 12:59:55 +01:00
Norman Feske
ddf2315dff Release notes for version 18.02 2018-02-28 12:59:55 +01:00
Josef Söntgen
7b8164d75e depot: add cnuke 2018-02-28 12:23:27 +01:00
Christian Helmuth
a8f186c7d4 depot: update recipe hashes 2018-02-28 11:05:05 +01:00
Christian Helmuth
e552f570eb Adapt doc/depot.txt to current versions 2018-02-28 11:05:05 +01:00
Christian Helmuth
adc3aa452a libc: close all handles of a socket before release 
This prevents diagnostic messages like

  Error: partial write detected 0 vs 31

for writes into already released socket directories due to a still-open
handle to the socket data file.
 2018-02-28 11:05:05 +01:00
Josef Söntgen
cd7cb5fbf4 depot_deploy: update blueprint pkg path 
We need to update the blueprint pkg path as well in case the start node
is changed. Otherwise the query tool will keep using the initially
configured pkg path.
 2018-02-28 11:05:05 +01:00
Christian Helmuth
ddd5e8abb4 Provide /dev/random in runtime for fetchurl 
libcrypto transparently opens /dev/random to seed its PRNG or logs an
error if this fails.
 2018-02-28 11:05:04 +01:00
Christian Helmuth
e3d1b8b044 openssl: clarify error message on missing /dev/random 2018-02-28 11:05:04 +01:00
Christian Helmuth
d72517e673 Remove replenish error message from quota guard 2018-02-28 11:05:04 +01:00
Christian Helmuth
064e738d53 libc: reduce noise on setsockopt/getsockopt 2018-02-28 11:05:04 +01:00
Alexander Boettcher
a322fbf822 os: avoid warning in vfs server 
[init -> depot_download -> dynamic -> fetchurl] Error: packet operation=3 failed

Issue #2672
 2018-02-28 11:05:03 +01:00
Christian Helmuth
ad56976131 tool/publish: fix help for PUBLIC_DIR 2018-02-28 11:05:03 +01:00
Christian Prochaska
77c5e55f4f sculpt: move test executon into separate run script 
Fixes #2694
 2018-02-28 11:05:03 +01:00
Josef Söntgen
3d14a94eac sculpt: use depot-user for boot-image archives 2018-02-28 11:05:03 +01:00
Norman Feske
d9a34d9460 sculpt: add README at '/' of leitzentrale 2018-02-28 11:05:03 +01:00
Norman Feske
32b93e1f63 sculpt: documentation 2018-02-28 11:05:02 +01:00
Norman Feske
76b82020d4 depot_query: handle missing user info gracefully 
This patch handles the case where the pubkey or download location for a
queries depot user is missing.
 2018-02-28 11:04:59 +01:00
Christian Prochaska
7ac9a16090 Noux: check ELF signature on 'execve()' 
Issue #2687
 2018-02-28 11:04:58 +01:00
Christian Prochaska
ecff980761 libc: 'rmdir()': delete directories only 
Fixes #2685
 2018-02-28 11:04:58 +01:00
Emery Hemingway
88757a674a libc: sync socket control files to check for write errors 
Ref #2335
 2018-02-28 11:04:58 +01:00
Josef Söntgen
8dda68a1bd verify: propagate error on corrupted .sig files 
In case the signature file is corrupt, e.g. it could not be downloaded
successfully, the gnupg code just prints an error message but will not
return the error to the user. So we patch the code to return the error
and check the value in the calling code.
 2018-02-28 11:04:58 +01:00
Reto Buerki
65f1100453 muen: Skip MSI setup for devices with no IRQ 
The sinfo API now also exports PCI devices without logical IRQs.
Therefore, explicitly check interrupt count in get_msi_params() function
and ignore such devices.
 2018-02-28 11:04:57 +01:00
Adrian-Ken Rueegsegger
9e4ff8c196 Update Muen port 
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Drop unneccessary subject IP patch
- Adapt Muen RUN_OPTs
- Update documentation

Note: the GPL 2017 toolchain is now required and as the debug output
      format has changed the mulog-subject.py script must be updated on
      autopilot instances.
 2018-02-28 11:04:57 +01:00
Josef Söntgen
97c2699392 netperf_wifi: disable 11n (batching) temporarily 2018-02-28 11:04:57 +01:00
Stefan Kalkowski
9f945a782f run: enable Wandquad board for network tests 
Ref #2665
 2018-02-28 11:04:57 +01:00
Stefan Kalkowski
d5dc234a00 dde_linux: wandboard ethernet driver 
Fixes #2665
 2018-02-28 11:04:56 +01:00
Emery Hemingway
590f51dbe1 dde_linux: Build net/ipv4/datagram.c for UDP connect 
Fix #2683
 2018-02-28 11:01:32 +01:00
Norman Feske
03574e4a79 Adaptation to lxIP-based fetchurl 2018-02-28 11:01:32 +01:00
Emery Hemingway
e1f7dd0553 Migrate fetchurl to socket_fs 
Remove the dependency on the deprecated LwIP libary.

Remove the progress logging callback. Should a progress indicator be
desired, a progress report would be more appropriate.

Fix #2684
 2018-02-28 11:01:31 +01:00
Norman Feske
5261462d7a depot: src/vfs_lxip recipe 2018-02-28 11:01:31 +01:00
Emery Hemingway
f177107a4f Fix string handling in Lxip 
Use a utility method to copy application provided strings into control
file buffers. This fixes an potential connect error.

Ref #2535
 2018-02-28 11:01:31 +01:00
Emery Hemingway
01800ad1a3 vfs_lxip: check that socket is ready for I/O 
Check that the Linux socket structure is populated before performing
read or write operations on control files.

Fix #2679
 2018-02-28 11:01:31 +01:00
Norman Feske
eabe83d4f2 Adaptation to chroot 'writeable' attribute 
Issue #2643
 2018-02-19 20:50:48 +01:00
Josef Söntgen
2e9a19d5b0 chroot: enforce writeable policy decision 
The writeable decision given in the policy will always override the
decision made by the client.

Fixes #2643
 2018-02-19 20:50:48 +01:00
Norman Feske
7bee21a4fd depot: fix firmware name in pkg/wifi/runtime 2018-02-19 20:50:48 +01:00
Norman Feske
ff7eeb852b sculpt: minor refinements 
based on the feedback of early adopters.

- Leitzentrale transparency
- Support for 2560x1440 screens
 2018-02-19 20:50:47 +01:00
Norman Feske
e79ce5a036 depot: update recipe hashes 2018-02-16 08:42:31 +01:00