Hi christian.helmuth,

I was building the muen for windows7 os as per this link(https://genode.org/documentation/release-notes/16.08#Experimental_version_of...).

But while running the following command to build the muen below errors came.

/home/ubuntu/genode/build/muen $ make run/log

then the kernle/build.log following errors came.

make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make -C contrib checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking whether make sets $(MAKE)... yes checking for a BSD-compatible install... /usr/bin/install -c checking for ranlib... ranlib checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking bfd.h usability... yes checking bfd.h presence... yes checking for bfd.h... yes checking dis-asm.h usability... yes checking dis-asm.h presence... yes checking for dis-asm.h... yes checking demangle.h usability... no checking demangle.h presence... no checking for demangle.h... no checking libiberty/demangle.h usability... yes checking libiberty/demangle.h presence... yes checking for libiberty/demangle.h... yes checking for bfd_openr in -lbfd... yes checking for dlopen in -ldl... yes checking for dcgettext in -lintl... no configure: creating ./config.status config.status: creating Makefile config.status: creating bfdada.gpr config.status: creating distrib/bfdada.gpr config.status: creating src/config.h make LIBRARY_TYPE=static build mkdir -p bin gcc -o bin/bfdgen -g -O2 -DHAVE_LIB_DL=1 -Isrc -g support/bfdgen.c bin/bfdgen > src/bfd-constants.ads gprbuild -XMODE=distrib -XPROCESSORS=4 -m -p -P"bfdada.gpr" -XMODE=distrib -XLIBRARY_TYPE=static -XPROCESSORS=4 object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static" created library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static" created for project bfdada gcc-4.6 -c -O2 bfd-disassembler-c.c gcc-4.6 -c -O2 bfdc.c gcc-4.6 -c -gnatn -g -O2 bfd-sections.adb gcc-4.6 -c -gnatn -g -O2 bfd-internal.ads gcc-4.6 -c -gnatn -g -O2 bfd.adb gcc-4.6 -c -gnatn -g -O2 bfd-symbols.adb gcc-4.6 -c -gnatn -g -O2 bfd-files.adb gcc-4.6 -c -gnatn -g -O2 bfd-constants.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-disassembler.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-sections.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-symbols.ads gcc-4.6 -c -gnatn -g -O2 bfd-disassembler.adb gprlib ada-bfd.lexch ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static//libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfd-disassembler-c.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfdc.o ... ranlib libada-bfd.a make LIBRARY_TYPE=static install_lib mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/ mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada cp -p src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada sed -e "s,INSTALL,/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build,g" -e "s,LIBRARY_TYPE,static,g" < distrib/bfdada.gpr > /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada.gpr cp -p lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada/ cp lib/static/libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static" created library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static" created for project alog gcc-4.6 -c -W -Wall -Werror -O3 glue_syslog.c gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-active_logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-exceptions.ads gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-maps.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-controlled_map.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms-casing.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-tasked_logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-log_request.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-syslog.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-helpers.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog.ads gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-file_descriptor.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db-types.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-protected_containers.adb gprlib alog.lexch ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static//libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/glue_syslog.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/alog-active_logger.o ... ranlib libalog.a install -m 644 src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/include/alog install -m 444 lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/alog install -m 644 gnat/alog.gpr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/gnat install -m 444 lib/static/libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking whether ln -s works... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking POSIX termios... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether termios.h defines TIOCGWINSZ... no checking whether sys/ioctl.h defines TIOCGWINSZ... yes checking whether gnat can build shared libs... no (--disabled-shared) checking for python... no checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... yes checking for getpagesize... yes checking for working mmap... yes checking for pkg-config... /usr/bin/pkg-config checking for pygtk... no (incompatible gtk+ version) checking for pygobject... no (disabled by user) checking for PostgreSQL... no checking for sqlite... no checking for gmp... no checking for libiconv... no, disabled by user checking whether libgpr exists... no checking for readline... no, this is a pure GPL library (see --enable-gpl) checking whether platform supports atomic inc/dec... yes configure: creating ./config.status config.status: creating gnatcoll_shared.gpr config.status: creating Makefile.conf configure: --------- Summary for GNAT Components -------------- configure: Shared libraries: no (default: static) configure: Static PIC libraries: no (see --enable-static-pic) configure: Gtk+: no (requires pkg-config and gtkada.gpr) configure: Python: no no (see --with-python) configure: PyGtk: no (see --enable-pygtk) configure: PyGObject: no (see --enable-pygobject) configure: Syslog: no (see --enable-syslog) configure: Readline (GPL license): no (see --with-readline --enable-gpl) configure: gmp: no (see --with-gmp) configure: PostgreSQL: no (see --with-postgresql) configure: Sqlite: no (see --with-sqlite) configure: Iconv: no (see --with-iconv) configure: Projects: no configure: install libgpr to override configure: Xref: no configure: -------------------------------------------- ====== Building static libraries ====== gprbuild -p -m -j0 -XLIBRARY_TYPE=static -XGnatcoll_Build=Production -Pgnatcoll_full object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj" created object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/gnatcoll/static" created for project gnatcoll library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/gnatcoll/static" created for project gnatcoll object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/python/static" created for project gnatcoll_python library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/python/static" created for project gnatcoll_python object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/postgres/static" created for project gnatcoll_postgres library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/postgres/static" created for project gnatcoll_postgres object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/sqlite/static" created for project gnatcoll_sqlite library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/sqlite/static" created for project gnatcoll_sqlite object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/readline/static" created for project gnatcoll_readline library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/readline/static" created for project gnatcoll_readline gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-readline.adb gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-sql-sqlite-builder.adb gnatcoll-refcount.ads:176:15: aspect identifier expected gnatcoll-refcount.ads:248:48: missing ";" gnatcoll-refcount.ads:249:10: "with" can only appear in context clause

compilation of gnatcoll-sql-sqlite-builder.adb failed

gprbuild: *** compilation phase failed make[7]: *** [build_library_type/static] Error 4 make[6]: *** [/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/.gnatcoll-build] Error 2 make[5]: *** [build_recipes] Error 1 make[4]: *** [contrib] Error 2

Genode - Release notes for the Genode OS Framework 16.08https://genode.org/documentation/release-notes/16.08#Experimental_version_of_VirtualBox_5_for_NOVA genode.org Release notes for the Genode OS Framework 16.08. The formal verification of software has become an intriguing direction to overcome the current state of omnipresent ...

So please help to me build the muen.

Regards,

S.SIVA REDDY.