building fiasco & L4 on ubuntu 11.10 64bit

install g++-multilib

download from here http://os.inf.tu-dresden.de/L4Re/download.html put l4re_snapshot instead of just l4re

build the l4 http://os.inf.tu-dresden.de/L4Re/build.html

build the fiasco http://os.inf.tu-dresden.de/fiasco/build.html

at the “make grub2iso E=hello MODULE_SEARCH_PATH=/path/to/fiasco-build-dir” put the “O=” as well

for emulation >sudo apt-get install xorisso qemu qemulator

testing the fiasco L4 > qemu-system-x86_64 -cdrom ~/f/src/l4/l4build/images/hello.iso

i will try to build again with ubuntu 12.04 64bit, i ve tried on 32bit and seems to be no problem.

11 thoughts on “building fiasco & L4 on ubuntu 11.10 64bit

  1. Hello, i want to ask you.
    I am building l4re + fiasco too but i have some trouble.
    when enter the command “make grub2iso E=hello MODULE_SEARCH_PATH=/path/to/fiasco-build-dir” it shows me error like this
    make: *** No rule to make target `grub2iso’. Stop.
    can you tell me where i did wrong ?
    i am really appreciate your respond to me. thank you

  2. thanks, i managed to overcome the problem. “make grub2iso” is running, but it still give me an error like this :
    root@Chiqi-V:/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4/TAL4bld# make grub2iso E=hello MODULE_SEARCH_PATH=/media/chiqiVStorage/FiascoBld/src/kernel/fiasco/TABuild O=hello.iso

    make[1]: Entering directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4′
    This mode can only be used with architectures x86 and amd64.
    make[1]: *** [grub2iso] Error 1
    make[1]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4′
    make: *** [grub2iso] Error 2

    i am building it for armv7 for pandaboard. is it really not possible to make a iso using these method for arm ?
    i really appreciate your answer, thank you

    • now it’s working because u put the “O” right?

      O=hello.iso

      but i think this is wrong, u should output it to your l4 folder

      edit: your .iso will be in images folder

      • Thank you, i just tried your option and i have some question
        After i build the l4linux it gave me error like this :

        make[4]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4/pkg’
        make[3]: *** [pkg] Error 2
        make[3]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4′
        make[2]: *** [x] Error 2
        make[2]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/obj/l4/x86′
        Error building the L4Re ‘obj/l4/x86′ variant.
        Press RETURN to continue with other variants.
        /bin/sh: 8: read: arg count
        make[1]: *** [build_all] Error 2
        make[1]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re’
        make: *** [all] Error 2

        so i must build my own fiasco and l4 and copy it to the l4linux main dir ?

        And also, i am building it for arm. is it ok to use ia32 (x86) build like you do ?

        and last question, according to the “make grub2iso …… O=hello.iso” that you said it’s a wrong command. what is the correct command for the output file ?

        really appreciate your answer, i still have a lot to learn about this subject. thanks ^^

        • After i build the l4linux it gave me error like this :

          make[4]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4/pkg’
          make[3]: *** [pkg] Error 2
          make[3]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/src/l4′
          make[2]: *** [x] Error 2
          make[2]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re/obj/l4/x86′
          Error building the L4Re ‘obj/l4/x86′ variant.
          Press RETURN to continue with other variants.
          /bin/sh: 8: read: arg count
          make[1]: *** [build_all] Error 2
          make[1]: Leaving directory `/media/chiqiVStorage/FiascoBld/l4re/l4re’
          make: *** [all] Error 2

          > i can’t tell what is wrong. u should give more than this, the initial error report, why it happened. this is only telling us the code is aborting.

          so i must build my own fiasco and l4 and copy it to the l4linux main dir?

          > yes, but u dont need to copy any folder. read the instructions from their website carefully.

          And also, i am building it for arm. is it ok to use ia32 (x86) build like you do ?

          > it wont work, they have different ISA

          and last question, according to the “make grub2iso …… O=hello.iso” that you said it’s a wrong command. what is the correct command for the output file ?

          > point it to your fiasco-BUILD folder (not l4 folder i was wrong before), hence you dont need to copy any folder. your iso file will be in your fiasco-BUILD/images folder

    • how can you fix the problem of “make grub2iso E=hello MODULE_SEARCH_PATH=/path/to/fiasco-build-dir”.i havw this problem too.

  3. hey, i have doubt, the default build for fiasco and L4 are IA32, how come you are running it on a x86-64(QEMU) system ?

Leave a Reply

Your email address will not be published. Required fields are marked *