ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,985 Commits 2 Branches 70 Tags 87 MiB
dd562f84fa
Commit Graph

7 Commits

Author SHA1 Message Date
Martin Stein
53821a6285 depot_download.run: raise quotas for sel4 
Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86
64-bit.

Issue #2781
 2018-05-03 15:31:22 +02:00
Christian Helmuth
d54f95d497 depot: update recipe hashes 2018-04-10 13:03:26 +02:00
Norman Feske
10c9b8a221 sculpt: change DNS server to 1.1.1.1 
The previously used nameserver 213.73.91.35 of the CCC seems to be no
longer available.
 2018-04-10 13:03:26 +02:00
Christian Helmuth
a8f186c7d4 depot: update recipe hashes 2018-02-28 11:05:05 +01:00
Norman Feske
03574e4a79 Adaptation to lxIP-based fetchurl 2018-02-28 11:01:32 +01:00
Norman Feske
eabe83d4f2 Adaptation to chroot 'writeable' attribute 
Issue #2643
 2018-02-19 20:50:48 +01:00
Norman Feske
fefeb29d5f Depot-download subsystem 2018-02-09 14:04:17 +01:00