hi,
I am working to make Android4.0.4 boot on PandaBoard. However the l4android
stop unexpected.
I can see some page-fault error in the android_term, but I can not save it from
android_term.
!WARN: rild: Page-fault above task size: pfa=ffff00c0 pc=b7b02758
!0:ffff00b4 00000005 00000000 ffff00b4 4:b7b2e004 00000005 00000004 0000ab1c
!8:b0012fa8 b7b31000 00050000 b7aec000 12:00000000 bf4d56d8 b0003a43 b7ba5758
!CPSR:40000130 Err:0041000f
What does this error mean?
last mail, Stefan said:
>well, from the log I only can see, there is probably still a thread that
>exceeds its stack. You can enter the kernel-debugger yourself (pressing
>ESC in the serial terminal), and press "lp" to show the process list.
>One thread will wait for the pager of the system, thereby you can
>identify the component that raised the fault.
How to decide which thread is waiting for the pager of the system? Do you have
some help doc for debugging？
By the way, You can see my log in attachment.
thanks.
L4 Bootstrapper
Build: #25 Mon Apr 15 14:00:19 CST 2013, 4.7.2
Scanning up to 1024 MB RAM
Memory size is 1024MB (80000000 - c0000000)
RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
Total RAM: 1024MB
mod17: 817ec000-81850278: genode/ld.lib.so
mod16: 817b4000-817eba00: genode/root-ginger.gz
mod15: 8142e000-817b3250: genode/l4android
mod14: 813f2000-8142dbfc: genode/terminal_log
mod13: 8139c000-813f1ca4: genode/terminal
mod12: 81357000-8139b0f8: genode/part_blk
mod11: 81317000-81356e1c: genode/nit_fb
mod10: 812c8000-81316c48: genode/nitpicker
mod09: 81283000-812c7734: genode/nic_bridge
mod08: 811ed000-81282920: genode/usb_drv
mod07: 811ae000-811ecc78: genode/sd_card_drv
mod06: 81173000-811ad338: genode/omap4_fb_drv
mod05: 81138000-81172e3c: genode/timer
mod04: 810f2000-81137738: genode/init
mod03: 810f0000-810f1123: genode/config
mod02: 81089000-810ef31c: genode/core
mod01: 8107f000-81088374: sigma0
mod00: 81015000-8107e370:
/home/android/Genode/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
Moving up to 18 modules behind 81100000
moving module 00 { 81015000-8107e36f } -> { 8193c000-819a536f } [430960]
moving module 01 { 8107f000-81088373 } -> { 819a6000-819af373 } [37748]
moving module 02 { 81089000-810ef31b } -> { 819b0000-81a1631b } [418588]
moving module 03 { 810f0000-810f1122 } -> { 81851000-81852122 } [4387]
moving module 04 { 810f2000-81137737 } -> { 81853000-81898737 } [284472]
moving module 05 { 81138000-81172e3b } -> { 81100000-8113ae3b } [241212]
moving module 06 { 81173000-811ad337 } -> { 8113b000-81175337 } [238392]
moving module 07 { 811ae000-811ecc77 } -> { 81176000-811b4c77 } [257144]
moving module 08 { 811ed000-8128291f } -> { 811b5000-8124a91f } [612640]
moving module 09 { 81283000-812c7733 } -> { 8124b000-8128f733 } [280372]
moving module 10 { 812c8000-81316c47 } -> { 81290000-812dec47 } [322632]
moving module 11 { 81317000-81356e1b } -> { 812df000-8131ee1b } [261660]
moving module 12 { 81357000-8139b0f7 } -> { 8131f000-813630f7 } [278776]
moving module 13 { 8139c000-813f1ca3 } -> { 81364000-813b9ca3 } [351396]
moving module 14 { 813f2000-8142dbfb } -> { 813ba000-813f5bfb } [244732]
moving module 15 { 8142e000-817b324f } -> { 813f6000-8177b24f } [3691088]
moving module 16 { 817b4000-817eb9ff } -> { 8177c000-817b39ff } [227840]
moving module 17 { 817ec000-81850277 } -> { 817b4000-81818277 } [410232]
moving module 03 { 81851000-81852122 } -> { 81819000-8181a122 } [4387]
moving module 04 { 81853000-81898737 } -> { 8181b000-81860737 } [284472]
Scanning
/home/android/Genode/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
-serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x8100e000-0x8100e2dd]
Loading de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
Loading sigma0
Loading genode/core
find kernel info page...
found kernel info page at 0x80002000
Regions of list 'regions'
[ 80001000, 80001a7f] { a80} Kern
de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80002000, 80078fff] { 77000} Kern
de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80090000, 8009673b] { 673c} Sigma0 sigma0
[ 80098000, 8009e17b] { 617c} Sigma0 sigma0
[ 80140000, 8028743f] { 147440} Root genode/core
[ 81000000, 810143f3] { 143f4} Boot bootstrap
[ 8100e000, 8100e3da] { 3db} Root Multiboot info
[ 81100000, 81860737] { 760738} Root Module
API Version: (87) experimental
Sigma0 config ip:80090100 sp:81013d24
Roottask config ip:8018af84 sp:00000000
Starting kernel de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco at
800011c4
L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
Boot_alloc: size=0xc
Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)
Boot_alloc: @ 0xf13e1000
Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)
Boot_alloc: size=0x80
Boot_alloc: @ 0xf13e1010
Boot_alloc: remaining free block @ 0xf13e1090 (size=370)
Number of IRQs available at this GIC: 160
Boot_alloc: size=0x280
Boot_alloc: @ 0xf13e1090
Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)
Cache config: ON
ID_PFR[01]: 00001231 00000011 ID_[DA]FR0: 00010444 00000000
ID_MMFR[04]: 00100103 20000000 01230000 00102111
FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
Startup::stage2 finished
SERIAL ESC: allocated IRQ 106 for serial uart
Not using serial hack in slow timer handler.
Welcome to Fiasco.OC (arm)!
L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: rexporte compiled with gcc 4.7.2 for Pandaboard []
Build: #24 Mon Apr 15 14:00:13 CST 2013
Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe08,
0xf11e6000-0xf11e6970)
Number of CPUs: 2
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
done.
Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e08,
0xf11e7000-0xf11e7970)
SCache config: ON
IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000
MID_MMFR[04]: 00100103 20000000 01230000 00102111
AFPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl
0CPU[1]: goes to idle loop
: Hello!
KIP @ 80002000
allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:80000000;80000fff]
[0:80079000;8008ffff]
[0:80097000;80097fff]
[0:8009f000;8013ffff]
[4:80140000;80287fff]
[0:80288000;8100dfff]
[4:8100e000;8100efff]
[0:8100f000;810fffff]
[4:81100000;81860fff]
[0:81861000;beffffff]
IOMEM:----------------------
[0:0;7fffffff]
[0:c0000000;ffffffff]
KIP @ 80002000
magic: 4be6344c
version: 87014444
sigma0 esp: 81013d24 eip: 80090100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 8018af84
MBI @ 8100e000
mod[3] [81819000,8181a123) config
mod[4] [8181b000,81860738) init
mod[5] [81100000,8113ae3c) timer
mod[6] [8113b000,81175338) omap4_fb_drv
mod[7] [81176000,811b4c78) sd_card_drv
mod[8] [811b5000,8124a920) usb_drv
mod[9] [8124b000,8128f734) nic_bridge
mod[10] [81290000,812dec48) nitpicker
mod[11] [812df000,8131ee1c) nit_fb
mod[12] [8131f000,813630f8) part_blk
mod[13] [81364000,813b9ca4) terminal
mod[14] [813ba000,813f5bfc) terminal_log
mod[15] [813f6000,8177b250) l4android
mod[16] [8177c000,817b3a00) root-ginger.gz
mod[17] [817b4000,81818278) ld.lib.so
:ram_alloc: Allocator 80270784 dump:
Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000
Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000fc8
Block: [80000038,80001000) size=00000fc8 avail=00000fc8 max_avail=00000fc8
Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4
Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000
Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000
Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000
Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000
Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000
Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000
Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000
Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=3d79f000
Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000
Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0
Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000
Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0
Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=3d79f000
Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
Block: [80288000,8100e000) size=00d86000 avail=00d86000 max_avail=3d79f000
Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d79f000
Block: [81861000,bf000000) size=3d79f000 avail=3d79f000 max_avail=3d79f000
=> mem_size=1047330816 (998 MB) / mem_avail=1047330368 (998 MB)
:region_alloc: Allocator 802718f4 dump:
Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000
Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000
Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000
=> mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)
:io_mem: Allocator 80270be0 dump:
Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
=> mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)
:io_port: Allocator 8027103c dump:
:irq: Allocator 80271498 dump:
Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100
=> mem_size=256 (0 MB) / mem_avail=256 (0 MB)
:rom_fs: Rom_fs 802721a8 dump:
Rom: [8113b000,81175338) omap4_fb_drv
Rom: [8124b000,8128f734) nic_bridge
Rom: [813f6000,8177b250) l4android
Rom: [8181b000,81860738) init
Rom: [81819000,8181a123) config
Rom: [80002000,80003000) kip
Rom: [80002000,80003000) l4v2_kip
Rom: [817b4000,81818278) ld.lib.so
Rom: [81290000,812dec48) nitpicker
Rom: [812df000,8131ee1c) nit_fb
Rom: [81364000,813b9ca4) terminal
Rom: [8177c000,817b3a00) root-ginger.gz
Rom: [8131f000,813630f8) part_blk
Rom: [81176000,811b4c78) sd_card_drv
Rom: [81100000,8113ae3c) timer
Rom: [813ba000,813f5bfc) terminal_log
Rom: [811b5000,8124a920) usb_drv
:core ranges: Allocator 80273f08 dump:
Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000
Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000
Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff1000
Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=3dff1000
Block: [8100f000,bf000000) size=3dff1000 avail=3dff1000 max_avail=3dff1000
=> mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB)
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 998 MB to init
int main(): --- init created, waiting for exit condition ---
[init -> sd_card_drv] --- OMAP4 SD card driver ---
[init -> log_term] int main(int, char**): --- terminal service started ---
[init -> android_term] int main(int, char**): --- terminal service started ---
[init -> nic_bridge] Could not open file "config"
[init -> nic_bridge] Could not obtain config file
[init -> usb_drv] void start_usb_driver(): No <storage> config node found - not
starting the USB Storage (Block) service
[init -> l4android] Booting L4Linux ...
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> sd_card_drv] CID: 0x3300d3f1 0x80060f63 0x55303447 0x03534453
[init -> sd_card_drv] RCA: 0xaaaa
[init -> l4android] ======> L4Linux starting... <========
[init -> l4android] Linux version 3.5.0-l4-gbf83cc8-dirty (android@ubuntu) (gcc
version 4.7.2 (GCC) ) #26 SMP Mon Apr 15 13:59:57 CST 2013
[init -> l4android] Binary name: vmlinux
[init -> l4android] This is an AEABI build.
[init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0
l4x_rd=root-ginger.gz
[init -> sd_card_drv] SD card detected
[init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB].
[init -> sd_card_drv] capacity: 3781 MiB
[init -> l4android] Areas: Text: 01000000 - 01350000 [3392kB] (a bit longer)
[init -> nitpicker] framebuffer is 1024x768@1
[init -> l4android] Data: 01350000 - 0137cc38 [179kB]
[init -> l4android] Initdata: 0132a000 - 0134f4c0 [149kB]
[init -> l4android] BSS: 0137d000 - 013c24dc [277kB]
[init -> nitpicker] create session with args: fb_width=640, fb_height=480,
fb_format=1, label="android_fb", ram_quota=622592
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> nitpicker] create session with args: fb_width=1024, fb_height=268,
fb_format=1, label="android_term_fb", ram_quota=557056
[init -> nitpicker] create session with args: fb_width=380, fb_height=480,
fb_format=1, label="log_term_fb", ram_quota=372992
[init -> android_fb] using xywh=(0,0,640,480) refresh_rate=25
[init -> android_term_fb] using xywh=(0,482,1024,268) refresh_rate=25
[init -> log_term_fb] using xywh=(642,0,380,480) refresh_rate=25
[init -> part_blk] Partition 1: LBA 2048 (262144 blocks) type: b
[init -> part_blk] Partition 2: LBA 264192 (1048576 blocks) type: 83
[init -> part_blk] Partition 3: LBA 1312768 (2097152 blocks) type: 83
[init -> android_term] Could not open file "config"
[init -> android_term] Could not obtain config file
[init -> android_term] cell size is 8x16
[init -> log_term] Could not open file "config"
[init -> log_term] Could not obtain config file
[init -> log_term] cell size is 8x16
[init -> log_term] create terminal session
[init -> log_term] new terminal session:
[init -> log_term] framebuffer has 380x480 pixels
[init -> log_term] character size is 8x16 pixels
[init -> log_term] terminal size is 47x30 characters
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] Device scan:
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] Device scan done.
[init -> l4android] main thread will be c
[init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304
[init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 1000000.
[init -> l4android] thread=c000 cpu=0
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> l4android] Main thread running, waiting...
[init -> l4android] Main memory size: 128MB
unmapping of managed dataspaces not yet supported
[init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB]
[init -> l4android] Main memory: Phys: 0x00000000 to 0x08000000, Size: 134217728
[init -> l4android] Filling lower ptabs...
[init -> l4android] Done (0 entries).
[init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304
[init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 1000000.
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1329e43
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1350000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13c24db
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13fffff
[init -> l4android] l4x_rd_path: root-ginger.gz
[init -> l4android] Loading: root-ginger.gz
[init -> l4android] INITRD: Size of RAMdisk is 224KiB
[init -> l4android] RAMdisk from 00005000 to 0003d000 [224KiB]
[init -> l4android] l4timer: Using IRQ210
[init -> android_term] create terminal session
[init -> android_term] new terminal session:
[init -> android_term] framebuffer has 1024x268 pixels
[init -> android_term] character size is 8x16 pixels
[init -> android_term] terminal size is 128x16 characters
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bb8
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bb8
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] l4io_iterate_devices: Not implemented yet!
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> part_blk] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> l4android] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00
[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
[init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2,
SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0,
SerialNumber=0
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 5 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip
1059a10
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip
1059a10
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip
1059a10
[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2,
SerialNumber=0
[init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0,
SerialNumber=0
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488
simple framing
[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1,
smsc95xx USB 2.0 Ethernet, 10a1ea4M
Quota exceeded! amount=12288, size=4096, consumed=12288
[init -> usb_drv] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> nic_bridge] upgrading quota donation for SIGNAL session
[init -> nic_bridge] virtual Net::Session_component*
Net::Root::_create_session(const char*): Invalid session request, no matching
policy
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> l4android] upgrading quota donation for SIGNAL session
[init -> l4android] Terminating L4Linux.
[init -> l4android] Still alive, going zombie???
------------------------------------------------------------------------------
Precog is a next-generation analytics platform capable of advanced
analytics on semi-structured data. The platform includes APIs for building
apps and a phenomenal toolset for data science. Developers can use
our toolset for easy data analysis & visualization. Get a free account!
http://www2.precog.com/precogplatform/slashdotnewsletter
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
