Thanks for your answer !

when I follow your instructions to build sel4/genode. It says that:

Error: Ports not prepared or outdated:   acpica ada-runtime bzip2 ccid curl drm e2fsprogs-lib expat fatfs ffi freetype fribidi gcov gmp icu jbig2dec jitterentropy jpeg libarchive libc libgcrypt libiconv libpng libsparkcrypto libssh libusb libyaml lua lwip lz4 mesa mpc mpfr mupdf ncurses openjpeg openssl pcg-c pcre pcsc-lite python qemu-usb qoost qt5 readline rust sanitizer solo5 stdcxx x86emu xz zlib

so I try to do "./tool/ports/prepare_port“ for all of them. But when uncompress qt5, it complains of missing moc compiler:

can't exec "/usr/local/genode-qt5/bin/moc"

Can I use local(Ubuntu 19.04/x86 moc) instead ? Or where can I download genode specific moc ?

thanks, -Minskey

发件人: Duss Pirmin pirmin.duss@gapfruit.com

发送时间: 2019年8月21日 5:32

收件人: users@lists.genode.org users@lists.genode.org

主题: Re: how to build an ISO for sel4

hello minskey

On 21.08.19 03:34, guo minskey wrote:

Hi,  all,

Is there any guide to build an ISO for seL4/genode for x86_64 platform ?

I am new to Genode.  I downloaded an ISO ( built by alex ??),  which works

in qemu-kvm, but doesn't work on my  Intel NUC hardware.  I want to take

a look into it and see if I can enable it on my hardware.  But for the first step,

I have to know how to build an ISO.

To create an ISO for sel4/genode you create a build directory with

'tool/create_builddir x86_64'.

This creates a build directory at 'build/x86_64'. Now you can edit the

build.conf file which is located in 'build/x86_64/etc/build.conf'.

In this file you can set many things to control the build process. What

I normally do is the following:

- Uncomment the line #MAKE += -jX and set the number to match my core

count

- uncomment the line #KERNEL ?= nova.

This selects the kernel to use by default, if none is provided on the

command line (KERNEL=xxxx)

- Add a run opt to specify the output format (disk,uefi or iso)

For this one adds a RUN_OPT += --include image/[disk|uefi|iso] line.

- Depending on the run scripts to run uncomment the

'REPOSITORIES +=xxx' lines

Best regards,

Pirmin