<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<font face="Helvetica, Arial, sans-serif">Hi,<br>
<br>
I just wanted to ask if someone can please help me with this
problem again, it still exists and i have no clue on how to fix it.<br>
<br>
Thanks.<br>
<br>
Best Regards,<br>
<br>
Bernhard.<br>
</font>
<pre class="moz-signature" cols="72">
</pre>
<div class="moz-cite-prefix">On 31.01.2017 16:17, Bernhard
Blieninger wrote:<br>
</div>
<blockquote
cite="mid:14dee208-9cb1-67d4-7850-71a6f97dc1d7@...389..."
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
Hi Reinier,<br>
<br>
thanks for the answer.<br>
Now I get new errors. :-(<br>
<br>
So i downloaded the release you said and edited the odroid.h.<br>
It now states this:<br>
<br>
.....<br>
#define CONFIG_EXTRA_ENV_SETTINGS \<br>
"usbethaddr=02:DE:AD:BE:EF:FF\0"\<br>
"ipaddr=10.12.119.169\0"\<br>
"netmask=255.255.255.0\0"\<br>
"gatewayip=10.12.119.253\0"\<br>
"serverip=10.12.119.181\0"\<br>
"autoboot=" \<br>
"usb start; " \<br>
"tftpboot 0x40001000 exynos4/image.img; " \<br>
"bootz 0x40001000; \0"<br>
....<br>
<br>
Then i used your make odroid_defconfig and a make -j afterwards.<br>
The second make generates an error:<br>
---------------------------------------------------------<br>
make odroid_config<br>
<br>
HOSTCC scripts/basic/fixdep<br>
GEN ./Makefile<br>
HOSTCC scripts/kconfig/conf.o<br>
HOSTCC scripts/kconfig/zconf.tab.o<br>
HOSTLD scripts/kconfig/conf<br>
#<br>
# configuration written to .config<br>
#<br>
-----------------------------------------------------------<br>
<br>
make<br>
.........<br>
LD arch/arm/cpu/armv7/built-in.o<br>
AS arch/arm/cpu/armv7/start.o<br>
AS arch/arm/lib/vectors.o<br>
AS arch/arm/lib/crt0.o<br>
AS arch/arm/lib/relocate.o<br>
CC arch/arm/lib/bootm-fdt.o<br>
CC arch/arm/lib/bootm.o<br>
../arch/arm/lib/bootm.c:27:28: error: asm/arch/timer.h: No such
file or directory<br>
../scripts/Makefile.build:275: recipe for target
'arch/arm/lib/bootm.o' failed<br>
make[2]: *** [arch/arm/lib/bootm.o] Error 1<br>
........<br>
<br>
<br>
Did not find the asm/arch/timer.h under arch/arm/lib/ and i though
bootm will not be compiled, because I am using bootz now with your
config?<br>
I did not find this include line of asm/arch/timer.h in the github
project
<a moz-do-not-send="true" class="moz-txt-link-freetext"
href="https://github.com/hardkernel/u-boot/blob/odroid-v2010.12/arch/arm/lib/bootm.c">https://github.com/hardkernel/u-boot/blob/odroid-v2010.12/arch/arm/lib/bootm.c</a><br>
but s905_6.0.1_v1.7 of the releases gives me the same error.<br>
<br>
I also tried the 2015.10 branch of harkernel/u-boot which not even
accepts the first make odroid_defconfig command even if i copy the
odroid.h.<br>
I am using the gcc from <a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="http://odroid.com/dokuwiki/doku.php?id=en:u3_building_u-boot">http://odroid.com/dokuwiki/doku.php?id=en:u3_building_u-boot</a>
, could it be that I miss the correct cross compiler?<br>
Is there something else I miss?<br>
<br>
<br>
Thanks.<br>
<br>
<br>
Best regards,<br>
Bernhard.<br>
<br>
<br>
<div class="moz-cite-prefix">On 30.01.2017 15:56, Reinier Millo
Sánchez wrote:<br>
</div>
<blockquote
cite="mid:9db33073-8551-f1ea-fb3a-25f3e32d0b17@...210..."
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
Hi Bernhard<br>
<br>
This is the Uboot version that we are using on Odroid-X2 an
Odroid-U3<br>
<br>
<a moz-do-not-send="true" class="moz-txt-link-freetext"
href="https://github.com/hardkernel/u-boot">https://github.com/hardkernel/u-boot</a><br>
<br>
To compile the odroid source code we are using the
odroid_defconfig.<br>
<br>
make odroid_defconfig<br>
<br>
We recomend you use the last release (s905_6.0.1_v1.6). We have
modified the define of CONFIG_EXTRA_ENV_SETTINGS in
include/configs/odroid.h file to use our default configuration<br>
<br>
"usbethaddr=02:DE:AD:BE:EF:FF\0"\<br>
"ipaddr=10.12.119.169\0"\<br>
"netmask=255.255.255.0\0"\<br>
"gatewayip=10.12.119.253\0"\<br>
"serverip=10.12.119.181\0"\<br>
"autoboot=" \<br>
"usb start; " \<br>
"tftpboot 0x40001000 exynos4/image.img; " \<br>
"bootz 0x40001000; \0"<br>
<br>
In this case the Uboot is compiled with bootz support. The
kernel image is generated using the script that Alexy had sent
to you, or you can use the command:<br>
<br>
genode-arm-objcopy -O binary <elf input image> <raw
output img image><br>
<br>
Alexy has told me that check the load address to 0x40001000 like
the example. We recomend you to try first with the most basic
example printf and then more complex examples. We have used
GenodeOS on both Odroids using Fiasco.OS as base microkernel.<br>
<br>
I hope that this can help you to solve the problem.<br>
<br>
Best regards
<div class="moz-cite-prefix">On 01/27/2017 08:40 AM, Bernhard
Blieninger wrote:<br>
</div>
<blockquote
cite="mid:4c54ad10-788c-bf90-5e8a-fd1de6a80540@...389..."
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
Hi,<br>
<br>
<br>
this is only leading to an out-of-mem exception.<br>
I read somewhere that the uImage hast to be loaded somewhere
else than the actual place it will be placed after loading
from the tftp server.<br>
I also thought maybe this 0x41000000 is not the right adress
where the kernel is normally stored(saw some 0x40008000
somewhere) and I overwrite something from the boot loader
code.<br>
<br>
Log Output is:<br>
<br>
U-Boot 2010.12-00000-gb93fb15-dirty (Jan 18 2017 - 20:24:29)
for Exynox4412 <br>
<br>
<br>
CPU: S5PC220 [Samsung SOC on SMP Platform Base on ARM
CortexA9] <br>
APLL = 1000MHz, MPLL =
880MHz <br>
DRAM: 2
GiB
<br>
<br>
PMIC VERSION : 0x00, CHIP REV :
3 <br>
TrustZone Enabled
BSP
<br>
BL1 version:
20121128
<br>
<br>
<br>
Checking Boot Mode ...
SDMMC <br>
MMC Device 0: 15343
MB <br>
*** Warning - using default
environment <br>
<br>
In:
serial
<br>
Out:
serial
<br>
Err:
serial
<br>
ModeKey Check... run
normal_boot <br>
Net:
usb_ether
<br>
Hit any key to stop autoboot:
0 <br>
>>> Load Boot Script from mmc 0:1
<<< <br>
reading
boot.scr
<br>
367 bytes read in 22 ms (15.6
KiB/s) <br>
## Executing script at
40008000 <br>
(Re)start
USB...
<br>
USB0: Exynos4412-ehci: init hccr 12580000 and hcor 12580010
hc_length 16 <br>
usb: usb_refclk_enable is active low:
YES <br>
ProTIP: If usb doesn't work - try playing with
'usb_invert_clken' environment <br>
USB EHCI
1.00
<br>
scanning bus 0 for devices... 3 USB Device(s)
found <br>
scanning usb for storage devices... 0 Storage Device(s)
found <br>
scanning usb for ethernet devices... 1 Ethernet
Device(s) found <br>
scanning usb for keyboard ... Waiting for Ethernet
connection... done. <br>
BOOTP broadcast
1
<br>
DHCP client bound to address
192.168.0.7 <br>
Waiting for Ethernet connection...
done. <br>
Using sms0
device
<br>
TFTP from server 131.159.12.22; our IP address is 192.168.0.7;
sending through 4<br>
Filename
'odroid/uImage'.
<br>
Load address:
0x41000000
<br>
Loading:
#####################################################
<br>
266.6
KiB/s
<br>
done
<br>
Bytes transferred = 773987 (bcf63
hex) <br>
## Booting kernel from Legacy Image at 41000000
... <br>
Image
Name:
<br>
Image Type: ARM Linux Kernel Image (gzip
compressed) <br>
Data Size: 773923 Bytes = 755.8
KiB <br>
Load Address:
41000000
<br>
Entry Point:
41000000
<br>
Verifying Checksum ...
OK <br>
Uncompressing Kernel Image ... Error: inflate() returned
-3 <br>
GUNZIP: uncompress, out-of-mem or overwrite error - must RESET
board to recover <br>
resetting
...
<br>
reset...
<br>
<br>
OK <br>
<br>
-----<br>
Here the device restarts and ends in a loop.<br>
<br>
<br>
<br>
Best regards,<br>
<br>
Bernhard.<br>
<br>
<br>
<div class="moz-cite-prefix">On 26.01.2017 22:08, rmillo
wrote:<br>
</div>
<blockquote
cite="mid:c68d6223752cedd6e5b03489da727ac2@...210..."
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<p>Hi Bernhard</p>
<p>Try to load the kernel image directly to the address
0x41000000 not 0x70000000 and them perform a bootm to the
addres 0x41000000. The first bootm that you do with
0x70000000 give you unknown os, because the kernel entry
point is at 0x41000000.</p>
<p>Check this, if this don't work tomorrow we can sent you
the uboot steps to run a GenodeOS image.</p>
<p>Best regards</p>
<p>On 26/01/2017 03:58 PM, Bernhard Blieninger wrote:</p>
<blockquote type="cite" style="padding: 0 0.4em;
border-left: #1010ff 2px solid; margin: 0"><!-- html ignored -->
<!-- head ignored --><!-- meta ignored --> Hi,<br>
<br>
thanks for the answers.<br>
<br>
If you say you got the x2 to work at the odroid u3, I
believe its clearly a uboot problem.<br>
I had to use bootm twice because the first use gave me the
"unknown os" error.<br>
I think the first bootm call loads the uImage from the
preload location 0x70000000 to 0x41000000 and the second
one loads it from 0x41000000.<br>
So the first bootm could possibly only be "bootm" without
parameter, the second one needs to have the 0x41000000 to
work.<br>
I also tried bootelf with the image.elf and bootp, nothing
worked so far.<br>
bootelf freezes quite similar to the bootm command. It
says, that its starting the application.<br>
<br>
<br>
The script Alexy sent is working and I compiled an
image.img in the meantime and deployed it at the tftp
server. I also renamed it to zImage.<br>
Problem still exists.<br>
<br>
I tried your uboot code, but I fail to flash it to the sd
card.<br>
<br>
Am I right that I have to use:<br>
<br>
apt-get install device-tree-compiler<br>
(for needed dts, was not necessary at the previous
version)<br>
<br>
<br>
make odroid_config<br>
(make smdk4412_config is not present)<br>
make -j<br>
<br>
Is the odroid config for u3?<br>
There is no sd_fuse folder so I am somehow stuck here,
because I have no idea on how to format the sd card
correctly and where to put which files.<br>
<br>
Would appreciate if you can give some kind of instruction
on how to prepare sd cards or emmc for such devices and
flash all necessary files to it.<br>
I think that my formatting, which leaves the first 1GB of
the sd untouched, is not the best way and I am an absolute
beginner here.<br>
<br>
<br>
Thanks.<br>
<br>
<br>
Best regards,<br>
<br>
Bernhard.<br>
<br>
<div class="moz-cite-prefix">On 26.01.2017 21:17, rmillo
wrote:</div>
<blockquote type="cite" style="padding: 0 0.4em;
border-left: #1010ff 2px solid; margin: 0">
<p>Hi Bernhard<br>
<br>
It does not seem to be a network or usb problem.
Clearly the uboot is loading the image from TFTP
server. Why do you use two bootm calls, if you only
load the uImage in address 0x70000000?<br>
<br>
When uboot is usesd to boot some operating systems
like android or other linux distributions bootm can be
used as:<br>
<br>
bootm $(kernel_addr) $(ramdisk_addr)<br>
<br>
But this only can done if there are loaded on memory
the kernel and the ramdisk.<br>
<br>
In this case GenodeOS don't use ramdisk, it uses only
kernel image.<br>
<br>
I think that the problem with Genode can be the image
format. As Alexy Gallardo explains we have tested the
Odroid-U3 with the Odroid-X2 support, but we boot the
image with the bootz (at address 0x41000000) command
because we use a zImage format created with the
raw_image script that him attached to you. Your uboot
seems to don't have this command (bootz), maybe it can
be enable on uboot compilation.<br>
<br>
Now i'm not in work to see the source of Uboot that we
are using, but take a look on this Uboot project with
support to Odroid-X2 and Odroid-U3.:<br>
<br>
<a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="https://github.com/dsd/u-boot">https://github.com/dsd/u-boot</a><br>
<br>
Have you tried boot the elf image with bootelf? Or
have you tried to boot the same image from an storage
device to test it first and then move it for the tftp?<br>
<br>
Best regards</p>
<p><br>
</p>
<p>On 26/01/2017 02:50 PM, Bernhard Blieninger wrote:</p>
<blockquote style="padding: 0 0.4em; border-left:
#1010ff 2px solid; margin: 0;">Hi all,<br>
<br>
tried something else instead.<br>
Deleted the whole sd card again and flashed it with a
fat32 partition starting at 1GB to ensure I don't
write some place, that is rewritten when sd_fusing
script writes boot data to sd card.<br>
I feared that if i load 0x41000000 it could be the
zImage kernel which is on the sd card already.<br>
<br>
I also have to correct myself i have to use the usbnet
uboot code from here: <a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="https://github.com/mkaczanowski/u-boot/tree/odroid-u3-usbnet">https://github.com/mkaczanowski/u-boot/tree/odroid-u3-usbnet</a><br>
Otherwhise it wont boot the usb parts(network card).<br>
<br>
<br>
Now I used the uImage from Ubuntu from the tftp server
and the uImage from the genode build.<br>
The boot.txt looks like this:<br>
<br>
setenv ethact sms0<br>
setenv ethaddr 00:10:75:2A:AE:E0<br>
setenv gatewayip 192.168.0.254<br>
setenv netmask 255.255.255.0<br>
setenv serverip 131.159.12.22<br>
setenv usbethaddr 00:10:75:2A:AE:E0<br>
setenv ipaddr 192.168.0.23<br>
<br>
usb start<br>
tftp 0x70000000 odroid/uImage<br>
bootm 0x70000000<br>
bootm 0x41000000<br>
<br>
Boot uImage now seem to work, Ubuntu runs to its
kernel panic again but Genode now unfortunately hangs
at Starting kernel.<br>
<br>
Is it possible that now all is running as expected but
x2 genode code can not be used at u3?<br>
I'd expected that i should at least be able to boot,
even if some usb drivers or something will not work?<br>
<br>
<br>
Best regards,<br>
<br>
Bernhard.<br>
<br>
<br>
<br>
Here is the full log dump:<br>
<br>
<br>
U-Boot 2010.12-00000-gb93fb15-dirty (Jan 18 2017 -
20:24:29) for Exynox4412 <br>
<br>
<br>
CPU: S5PC220 [Samsung SOC on SMP Platform Base on ARM
CortexA9] <br>
APLL = 1000MHz, MPLL =
880MHz
<br>
DRAM: 2
GiB
<br>
<br>
PMIC VERSION : 0x00, CHIP REV :
3 <br>
TrustZone Enabled
BSP
<br>
BL1 version:
20121128
<br>
<br>
<br>
Checking Boot Mode ...
SDMMC
<br>
MMC Device 0: 15343
MB
<br>
*** Warning - using default
environment <br>
<br>
In:
serial
<br>
Out:
serial
<br>
Err:
serial
<br>
ModeKey Check... run
normal_boot
<br>
Net:
usb_ether
<br>
Hit any key to stop autoboot:
0 <br>
>>> Load Boot Script from mmc 0:1
<<<
<br>
reading
boot.scr
<br>
351 bytes read in 23 ms (14.6
KiB/s) <br>
## Executing script at
40008000
<br>
(Re)start
USB...
<br>
USB0: Exynos4412-ehci: init hccr 12580000 and hcor
12580010 hc_length 16 <br>
usb: usb_refclk_enable is active low:
YES <br>
ProTIP: If usb doesn't work - try playing with
'usb_invert_clken' environment <br>
USB EHCI
1.00
<br>
scanning bus 0 for devices... 3 USB Device(s)
found <br>
scanning usb for storage devices... 0 Storage
Device(s) found <br>
scanning usb for ethernet devices... 1 Ethernet
Device(s) found <br>
scanning usb for keyboard ... Waiting for
Ethernet connection... done. <br>
Using sms0
device
<br>
TFTP from server 192.168.0.1; our IP address is
192.168.0.23; sending through4<br>
Filename
'odroid/uImage'.
<br>
Load address:
0x70000000
<br>
Loading:
#####################################################
<br>
264.6
KiB/s
<br>
done
<br>
Bytes transferred = 773987 (bcf63
hex) <br>
## Booting kernel from Legacy Image at 70000000
... <br>
Image
Name:
<br>
Image Type: ARM Linux Kernel Image (gzip
compressed) <br>
Data Size: 773923 Bytes = 755.8
KiB <br>
Load Address:
41000000
<br>
Entry Point:
41000000
<br>
Verifying Checksum ...
OK
<br>
Uncompressing Kernel Image ...
OK <br>
ERROR: booting os 'Unknown OS' (3) is not
supported <br>
Boot with
zImage
<br>
<br>
Starting kernel
...
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">On 26.01.2017 13:58,
Bernhard Blieninger wrote:</div>
<blockquote style="padding: 0 0.4em; border-left:
#1010ff 2px solid; margin: 0;">Hi Christian, <br>
<br>
<br>
thanks, this did not fix the problem either. <br>
I tested it with the uImage from ubuntu and the
uImage from genode. <br>
<br>
Best regards, <br>
<br>
Bernhard. <br>
<br>
<br>
<br>
On 26.01.2017 11:15, Christian Helmuth wrote: <br>
<blockquote style="padding: 0 0.4em; border-left:
#1010ff 2px solid; margin: 0;">Hi, <br>
<br>
I've just a small hint regarding the following
issue. <br>
<br>
On Wed, Jan 25, 2017 at 07:30:11PM +0100, Bernhard
Blieninger wrote: <br>
<blockquote style="padding: 0 0.4em; border-left:
#1010ff 2px solid; margin: 0;"> mkimage -A arm
-C none -T script -n 'Custom Boot Script' -d
boot.txt boot.scr <br>
<br>
Problem now is that is says something like: <br>
<br>
*ERROR: booting os 'Unknown OS' (3) is not
supported*</blockquote>
When generating an uImage mkimage supports to set
the operating system <br>
in the commandline via '-O <os>'. So, your
mkimage command line should <br>
read <br>
<br>
mkimage -A arm -O linux -C none -T script -n
'Custom Boot Script' -d boot.txt boot.scr <br>
<br>
Hope it helps</blockquote>
<br>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre>------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre>_______________________________________________
genode-main mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
<br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace;">------------------------------------------------------------------------------<br>
Check out the vibrant tech community on one of the
world's most<br>
engaging tech sites, SlashDot.org! <a
moz-do-not-send="true"
class="moz-txt-link-freetext"
href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></div>
<br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace;">_______________________________________________<br>
genode-main mailing list<br>
<a moz-do-not-send="true"
href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a><br>
<a moz-do-not-send="true"
href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a></div>
</blockquote>
<p><br>
</p>
<div>-- <br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace;">MSc. Reinier Millo Sánchez<br>
Centro de Estudios de Informática<br>
Universidad Central "Marta Abreu" de Las Villas<br>
Carretera a Camajuaní Km 5 1/2<br>
Santa Clara, Villa Clara, Cuba<br>
CP 54830</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre>------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre>_______________________________________________
genode-main mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
<!-- html ignored --><br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace">------------------------------------------------------------------------------<br>
Check out the vibrant tech community on one of the
world's most<br>
engaging tech sites, SlashDot.org! <a
moz-do-not-send="true" class="moz-txt-link-freetext"
href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></div>
<br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace">_______________________________________________<br>
genode-main mailing list<br>
<a moz-do-not-send="true"
href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a><br>
<a moz-do-not-send="true"
href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a></div>
</blockquote>
<p><br>
</p>
<div>-- <br>
<div class="pre" style="margin: 0; padding: 0;
font-family: monospace">MSc. Reinier Millo Sánchez<br>
Centro de Estudios de Informática<br>
Universidad Central "Marta Abreu" de Las Villas<br>
Carretera a Camajuaní Km 5 1/2<br>
Santa Clara, Villa Clara, Cuba<br>
CP 54830</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
genode-main mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
genode-main mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
MSc. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
genode-main mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! <a class="moz-txt-link-freetext" href="http://sdm.link/slashdot">http://sdm.link/slashdot</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
genode-main mailing list
<a class="moz-txt-link-abbreviated" href="mailto:genode-main@...12...ceforge.net">genode-main@lists.sourceforge.net</a>
<a class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a>
</pre>
</blockquote>
<br>
</body>
</html>