回复: how to build an ISO for sel4

[guo minskey]

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 at gapfruit.com>

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

收件人: users at lists.genode.org <users at 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