I tried a bit to reproduce this but could not manage it, it always
worked for me. In the same file, startup.cc, there's a function
move_modules() which is doing the two outputs we're seeing. Inbetween,
there's a 'for' loop. There's an 'if' inside (i < 3), could you add some
printfs in there and around, especially printing the used addresses, to
see why those modules are skipped? Overall the numbers are quite
identical to my numbers here, so the different behavior is interesting.

L4 Bootstrapper

  Build: #2 mié abr  2 11:03:29 CDT 2014, 4.6.3

  Scanning up to 256 MB RAM

  Memory size is 256MB (70000000 - 7fffffff)

  RAM: 0000000070000000 - 000000007fffffff: 262144kB

  Total RAM: 256MB

  mod04: 710cc000-710e5580: hello

  mod03: 710b2000-710cb460: l4re

  mod02: 71078000-710b162c: moe

  mod01: 7106e000-71077378: sigma0

  mod00: 71017000-7106d6dc: fiasco

  Moving up to 5 modules behind 71100000

AFMOYA DEBUGING, printf BEFORE "if (i < 3)" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration 0 

=> firstmodulestart  71017000    lastmoduleend 711cf000 

=> mbi_mod_                start 71017000    end 7106d6dc        size 566dc 

=> Region from            start 71017000    end 7106d6db    size 566dc 

=> Region *this_module    start 71017000    end 7106d6db    size 566dc 

AFMOYA DEBUGING, printf INSIDE "if (i < 3)" statement 

=> printf INSIDE "if (start < lastmoduleend)" statement 

=>=> Region to    start 711cf000    end 712256db 

=>=> printf INSIDE "if (module_area.contains(to))" statement 

  moving module 00 { 71017000, 7106d6db } (ELF) -> { 711cf000 - 712256db } [354012]

464c457f 00010101 00000000 00000000 00280002 00000001 00001244 00000034

000564d4 05000002 00200034 00280006 000c000d 70000001 00052ef0 f0052ef0

00052ef0 00000028 00000028 00000004 00000004 00000001 000000f4 00001000

00001000 000003c0 00000bc0 00000007 00000004 00000001 00002000 f0002000

00002000 00050f18 0005e000 00000007 00004000 00000001 00052f20 ffff0000

00060000 00000500 00000500 00000005 00000010 00000001 00053420 f0061000

00061000 00003000 00003000 00000007 00000004 6474e551 00000000 00000000

00000000 00000000 00000000 00000007 00000004 e3030c09 e92d4ff0 e3410000

=>=>=> lastmoduleend 0 received from rounded  this_module->end() 0 

AFMOYA DEBUGING, continue statement INSIDE if (i < 3) statement in the iteration 0 

AFMOYA DEBUGING, printf BEFORE "if (i < 3)" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration 1 

=> firstmodulestart  71017000    lastmoduleend 0 

=> mbi_mod_                start 7106e000    end 71077378        size 9378 

=> Region from            start 7106e000    end 71077377    size 9378 

=> Region *this_module    start 7106e000    end 71077377    size 9378 

AFMOYA DEBUGING, printf INSIDE "if (i < 3)" statement 

AFMOYA DEBUGING, continue statement INSIDE if (i < 3) statement in the iteration 1 

AFMOYA DEBUGING, printf BEFORE "if (i < 3)" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration 2 

=> firstmodulestart  71017000    lastmoduleend 0 

=> mbi_mod_                start 71078000    end 710b162c        size 3962c 

=> Region from            start 71078000    end 710b162b    size 3962c 

=> Region *this_module    start 71078000    end 710b162b    size 3962c 

AFMOYA DEBUGING, printf INSIDE "if (i < 3)" statement 

AFMOYA DEBUGING, continue statement INSIDE if (i < 3) statement in the iteration 2 

AFMOYA DEBUGING, printf BEFORE "if (i < 3)" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration 3 

=> firstmodulestart  71017000    lastmoduleend 0 

=> mbi_mod_                start 710b2000    end 710cb460        size 19460 

=> Region from            start 710b2000    end 710cb45f    size 19460 

=> Region *this_module    start 710b2000    end 710cb45f    size 19460 

AFMOYA DEBUGING, execution continues after "if (i < 3)" statement 

AFMOYA DEBUGING, execution continues after "if (start >= modaddr)" statement 

AFMOYA DEBUGING,  long long to = regions.find_free(module_area, size, L4_PAGESHIFT) 71100000 

AFMOYA DEBUGING,  Region m_to    start 71100000    end 7111945f    size 19460 

  moving module 03 { 710b2000, 710cb45f } (ELF) -> { 71100000 - 7111945f } [103520]

464c457f 00010101 00000000 00000000 00280002 00000001 b00001a4 00000034

000191e0 05000002 00200034 00280006 000f0010 70000001 00014874 b0014874

b0014874 00000808 00000808 00000004 00000004 00000006 00000034 b0000034

b0000034 000000c0 000000c0 00000004 00000004 00000001 00000000 b0000000

b0000000 00015080 00015080 00000005 00008000 00000001 00018000 b0018000

b0018000 000010c4 0000236c 00000006 00008000 00000007 00000000 00000000

00000000 00000000 00000000 00000000 00000004 60000014 00012a40 b0012a40

b0012a40 00000018 00000018 00000004 00000004 00000000 00000000 00000000

AFMOYA DEBUGING, end of the iteration 3 

AFMOYA DEBUGING, printf BEFORE "if (i < 3)" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration 4 

=> firstmodulestart  71017000    lastmoduleend 0 

=> mbi_mod_                start 710cc000    end 710e5580        size 19580 

=> Region from            start 710cc000    end 710e557f    size 19580 

=> Region *this_module    start 710cc000    end 710e557f    size 19580 

AFMOYA DEBUGING, execution continues after "if (i < 3)" statement 

AFMOYA DEBUGING, execution continues after "if (start >= modaddr)" statement 

AFMOYA DEBUGING,  long long to = regions.find_free(module_area, size, L4_PAGESHIFT) 71100000 

AFMOYA DEBUGING,  Region m_to    start 71100000    end 7111957f    size 19580 

  moving module 04 { 710cc000, 710e557f } (ELF) -> { 71100000 - 7111957f } [103808]

464c457f 00010101 00000000 00000000 00280002 00000001 010001a4 00000034

000192d8 05000002 00200034 00280006 00100011 70000001 00015504 01015504

01015504 00000ae0 00000ae0 00000004 00000004 00000006 00000034 01000034

01000034 000000c0 000000c0 00000004 00000004 00000001 00000000 01000000

01000000 00015fe8 00015fe8 00000005 00008000 00000001 00018000 01018000

01018000 000011b4 0000734c 00000006 00008000 00000007 00018000 01018000

01018000 00000000 00000014 00000006 00000004 60000014 00013640 01013640

01013640 0000000c 0000000c 00000004 00000004 00000000 00000000 00000000

AFMOYA DEBUGING, end of the iteration 4 

  Compactifying

move_modules(l4util_mb_info_t *mbi, unsigned long modaddr)

{ 

  printf("  Moving up to %d modules behind %lx\n", mbi->mods_count, modaddr);

  Region *ramr = ram.find(Region(modaddr, modaddr));

  Region module_area(modaddr, ramr->end(), "ram for modules");

  unsigned long firstmodulestart = ~0UL, lastmoduleend = 0;

  for (unsigned i = 0; i < mbi->mods_count; ++i)

    {

      if (lastmoduleend < mbi_mod_end(mbi, i))

        lastmoduleend = mbi_mod_end(mbi, i);

      if (firstmodulestart > mbi_mod_start(mbi, i))

        firstmodulestart = mbi_mod_start(mbi, i);

    }

  lastmoduleend = l4_round_page(lastmoduleend);

  if (firstmodulestart < modaddr)

    {

      Region s(lastmoduleend, ramr->end());

      unsigned long sz = modaddr - firstmodulestart;

      lastmoduleend = regions.find_free(s, sz, L4_PAGESHIFT) + sz;

    }

  for (unsigned i = 0; i < mbi->mods_count; ++i)

    {

      unsigned long start = mbi_mod_start(mbi, i);

      unsigned long end = mbi_mod_end(mbi, i);

      unsigned long size = mbi_mod_size(mbi, i);

      if (start == end)

        continue;

      Region from(start, end - 1);

      Region *this_module = regions.find(from);

      assert(this_module->begin() == from.begin()

             && this_module->end() == from.end());

        printf("AFMOYA DEBUGING, printf BEFORE \"if (i < 3)\" statement, for (unsigned i = 0; i < mbi->mods_count; ++i) statement iteration %d \n", i);

        printf("=> firstmodulestart  %lx    lastmoduleend %lx \n", firstmodulestart, lastmoduleend);

        printf("=> mbi_mod_                start %lx    end %lx        size %lx \n", start, end, size);

        printf("=> Region from            start %llx    end %llx    size %llx \n", from.begin(), from.end(), from.size());

        printf("=> Region *this_module    start %llx    end %llx    size %llx \n", this_module->begin(), this_module->end(), this_module->size());

      if (i < 3)

        {

            printf("AFMOYA DEBUGING, printf INSIDE \"if (i < 3)\" statement \n");

          if (start < lastmoduleend)

            {

                printf("=> printf INSIDE \"if (start < lastmoduleend)\" statement \n");

              Region to(lastmoduleend, lastmoduleend + (end - start) - 1);

                printf("=>=> Region to    start %llx    end %llx \n", to.begin(), to.end());

              if (module_area.contains(to))

                {

                    printf("=>=> printf INSIDE \"if (module_area.contains(to))\" statement \n");

                  move_module(mbi, i, this_module, &to, true);

                  lastmoduleend = l4_round_page(this_module->end());

                    printf("=>=>=> lastmoduleend %lx received from rounded  this_module->end() %llx \n", lastmoduleend, this_module->end());

                }

            }

            printf("AFMOYA DEBUGING, continue statement INSIDE if (i < 3) statement in the iteration %d \n\n", i);

          continue;

        }

        printf("AFMOYA DEBUGING, execution continues after \"if (i < 3)\" statement \n");

      if (start >= modaddr) {

          printf("AFMOYA DEBUGING, continue statement INSIDE if (start >= modaddr) statement in the iteration %d \n\n", i);

        continue;

        }

        printf("AFMOYA DEBUGING, execution continues after \"if (start >= modaddr)\" statement \n");

      unsigned long long to = regions.find_free(module_area, size, L4_PAGESHIFT);

      assert(to);

        printf("AFMOYA DEBUGING,  long long to = regions.find_free(module_area, size, L4_PAGESHIFT) %llx \n", to);

      Region m_to = Region(to, to + size - 1);

        printf("AFMOYA DEBUGING,  Region m_to    start %llx    end %llx    size %llx \n", m_to.begin(), m_to.end(), m_to.size());

      move_module(mbi, i, this_module, &m_to, true);

        printf("AFMOYA DEBUGING, end of the iteration %d \n\n", i);

    }