<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>