users May 2016

users@lists.genode.org

19 participants
17 discussions

Genode freezes on USB Armory
by Yevgeny Lavrov 17 May '16

17 May '16

Hi, after going through tz_vmm tutorial I was able to create uImage and put it on MicroSD card. However, when I try to boot it on Armory, Genode freezes all the way at the end. Below is what appears on the console after executing => ext2load mmc 0:1 0x74000000 /uImage => bootm 0x74000000 it freezes after "Debian GNU/Linux 7 usbarmory console" Am I missing something? Starting kernel ... kernel initialized Genode 16.02 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 246 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open ROM session for module "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "gpio_drv" [init] RAM quota: 2863104 [init] ELF binary: gpio_drv [init] priority: 0 [init] provides service Gpio [init] child "timer" [init] RAM quota: 2863104 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "platform_drv" [init] RAM quota: 2863104 [init] ELF binary: platform_drv [init] priority: 0 [init] provides service Regulator [init] provides service Platform [init] child "sd_card_drv" [init] RAM quota: 2863104 [init] ELF binary: sd_card_drv [init] priority: 0 [init] provides service Block [init] child "part_blk" [init] RAM quota: 10203136 [init] ELF binary: part_blk [init] priority: 0 [init] provides service Block [init] child "tz_vmm" [init] RAM quota: 10203136 [init] ELF binary: tz_vmm [init] priority: 0 [init -> platform_drv] --- i.MX53 platform driver --- [init] child "platform_drv" announces service "Platform" [init -> sd_card_drv] --- Imx53 SD card driver --- [init] child "sd_card_drv" announces service "Block" [init] child "timer" announces service "Timer" [init -> tz_vmm] Start virtual machine ... [init -> gpio_drv] --- i.MX53 gpio driver --- [init -> gpio_drv] No GPIO config [init] child "gpio_drv" announces service "Gpio" [init -> sd_card_drv] CID: 0x28424548 0x32353738 0x00000006 0x8a00b600 [init -> sd_card_drv] RCA: 0xb368 [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 3823 MiB Quota exceeded! amount=12288, size=12288, consumed=12288 [init -> part_blk] Partition 1: LBA 20480 (194560 blocks) type: 83 [init -> part_blk] Partition 2: LBA 215040 (3896289 blocks) type: 83 [init] child "part_blk" announces service "Block" [init -> tz_vmm] [vm] Booting Linux on physical CPU 0x0 [init -> tz_vmm] [vm] Linux version 4.2.3-00002-gfd57dbf-dirty (lypo@...207...) (gcc version 4.9.3 20150113 (prerelease) (Linaro GCC 4.9-2015.01-3) ) #4 PREEMPT Thu Nov 12 15:18:30 CET 2015 [init -> tz_vmm] [vm] CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c5387d [init -> tz_vmm] [vm] CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache [init -> tz_vmm] [vm] Machine model: Inverse Path USB armory [init -> tz_vmm] [vm] Memory policy: Data cache writeback [init -> tz_vmm] [vm] CPU: All CPU(s) started in SVC mode. [init -> tz_vmm] [vm] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 65024 [init -> tz_vmm] [vm] Kernel command line: console=ttyS0 root=/dev/sda1 rootwait rw init=/sbin/init clk_ignore_unused [init -> tz_vmm] [vm] PID hash table entries: 1024 (order: 0, 4096 bytes) [init -> tz_vmm] [vm] Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) [init -> tz_vmm] [vm] Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) [init -> tz_vmm] [vm] Memory: 255160K/262144K available (3174K kernel code, 119K rwdata, 1060K rodata, 140K init, 93K bss, 6984K reserved, 0K cma-reserved) [init -> tz_vmm] [vm] Virtual kernel memory layout: [init -> tz_vmm] [vm] vector : 0xffff0000 - 0xffff1000 ( 4 kB) [init -> tz_vmm] [vm] fixmap : 0xffc00000 - 0xfff00000 (3072 kB) [init -> tz_vmm] [vm] vmalloc : 0x90800000 - 0xff000000 (1768 MB) [init -> tz_vmm] [vm] lowmem : 0x80000000 - 0x90000000 ( 256 MB) [init -> tz_vmm] [vm] modules : 0x7f000000 - 0x80000000 ( 16 MB) [init -> tz_vmm] [vm] .text : 0x80008000 - 0x8042abfc (4235 kB) [init -> tz_vmm] [vm] .init : 0x8042b000 - 0x8044e000 ( 140 kB) [init -> tz_vmm] [vm] .data : 0x8044e000 - 0x8046bc60 ( 120 kB) [init -> tz_vmm] [vm] .bss : 0x8046bc60 - 0x804833ac ( 94 kB) [init -> tz_vmm] [vm] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1 [init -> tz_vmm] [vm] Preemptible hierarchical RCU implementation. [init -> tz_vmm] [vm] Build-time adjustment of leaf fanout to 32. [init -> tz_vmm] [vm] NR_IRQS:16 nr_irqs:16 16 [init -> tz_vmm] [vm] TrustZone Interrupt Controller (TZIC) initialized [init -> tz_vmm] [vm] CPU identified as i.MX53, unknown revision [init -> tz_vmm] [vm] Switching to timer-based delay loop, resolution 29ns [init -> tz_vmm] [vm] sched_clock: 32 bits at 33MHz, resolution 29ns, wraps every 64424507889ns [init -> tz_vmm] [vm] clocksource: mxc_timer1: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 57337812242 ns [init -> tz_vmm] [vm] Console: colour dummy device 80x30 [init -> tz_vmm] [vm] console [ttyS0] enabled [init -> tz_vmm] [vm] Calibrating delay loop (skipped), value calculated using timer frequency.. 66.66 BogoMIPS (lpj=333333) [init -> tz_vmm] [vm] pid_max: default: 32768 minimum: 301 [init -> tz_vmm] [vm] Security Framework initialized [init -> tz_vmm] [vm] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) [init -> tz_vmm] [vm] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) [init -> tz_vmm] [vm] Initializing cgroup subsys net_cls [init -> tz_vmm] [vm] CPU: Testing write buffer coherency: ok [init -> tz_vmm] [vm] Setting up static identity map for 0x80008200 - 0x80008258 [init -> tz_vmm] [vm] devtmpfs: initialized [init -> tz_vmm] [vm] VFP support v0.3: implementor 41 architecture 3 part 30 variant c rev 2 [init -> tz_vmm] [vm] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns [init -> tz_vmm] [vm] pinctrl core: initialized pinctrl subsystem [init -> tz_vmm] [vm] NET: Registered protocol family 16 [init -> tz_vmm] [vm] DMA: preallocated 256 KiB pool for atomic coherent allocations [init -> tz_vmm] [vm] cpuidle: using governor ladder [init -> tz_vmm] [vm] cpuidle: using governor menu [init -> tz_vmm] [vm] imx53-pinctrl 53fa8000.iomuxc: initialized IMX pinctrl driver [init -> tz_vmm] [vm] 50000000.aips:usbphy@...361... supply vcc not found, using dummy regulator [init -> tz_vmm] [vm] 50000000.aips:usbphy@...23... supply vcc not found, using dummy regulator [init -> tz_vmm] [vm] pps_core: LinuxPPS API ver. 1 registered [init -> tz_vmm] [vm] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@...292...> [init -> tz_vmm] [vm] clocksource: Switched to clocksource mxc_timer1 [init -> tz_vmm] [vm] NET: Registered protocol family 2 [init -> tz_vmm] [vm] TCP established hash table entries: 2048 (order: 1, 8192 bytes) [init -> tz_vmm] [vm] TCP bind hash table entries: 2048 (order: 1, 8192 bytes) [init -> tz_vmm] [vm] TCP: Hash tables configured (established 2048 bind 2048) [init -> tz_vmm] [vm] UDP hash table entries: 256 (order: 0, 4096 bytes) [init -> tz_vmm] [vm] UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) [init -> tz_vmm] [vm] NET: Registered protocol family 1 [init -> tz_vmm] [vm] futex hash table entries: 256 (order: -1, 3072 bytes) [init -> tz_vmm] [vm] squashfs: version 4.0 (2009/01/31) Phillip Lougher [init -> tz_vmm] [vm] io scheduler noop registered (default) [init -> tz_vmm] [vm] imx-sdma 63fb0000.sdma: failed to get firmware from device tree [init -> tz_vmm] [vm] imx-sdma 63fb0000.sdma: initialized [init -> tz_vmm] [vm] ttyS0 at MMIO 0x1 (irq = 0, base_baud = 230400) is a IMX [init -> tz_vmm] [vm] loop: module loaded [init -> part_blk] session opened at partition 2 for 'tz_vmm -> sda1' [init -> tz_vmm] [vm] genblk: drive 0 [init -> tz_vmm] [vm] block count 3896289 [init -> tz_vmm] [vm] block size 512 [init -> tz_vmm] [vm] writeable 1 [init -> tz_vmm] [vm] queue size 5226480 [init -> tz_vmm] [vm] pirq 92 [init -> tz_vmm] [vm] virq 108 [init -> tz_vmm] [vm] major number 254 [init -> tz_vmm] [vm] name "sda1" [init -> tz_vmm] [vm] device-mapper: ioctl: 4.33.0-ioctl (2015-8-18) initialised: dm-devel@...315... [init -> tz_vmm] [vm] sahara 63ff8000.crypto: SAHARA version 4 initialized [init -> tz_vmm] [vm] NET: Registered protocol family 17 [init -> tz_vmm] [vm] GENODE_TZ_VMM: skip mx5_cpu_lp_set [init -> tz_vmm] [vm] imx5_pm_common_init: No DDR LPM support with suspend -22! [init -> tz_vmm] [vm] hctosys: unable to open rtc device (rtc0) [init -> tz_vmm] [vm] clk: Not disabling unused clocks [init -> tz_vmm] [vm] EXT4-fs (sda1): couldn't mount as ext3 due to feature incompatibilities [init -> tz_vmm] [vm] EXT4-fs (sda1): couldn't mount as ext2 due to feature incompatibilities [init -> tz_vmm] [vm] EXT4-fs (sda1): recovery complete [init -> tz_vmm] [vm] EXT4-fs (sda1): mounted filesystem with ordered data mode. Opts: (null) [init -> tz_vmm] [vm] VFS: Mounted root (ext4 filesystem) on device 254:0. [init -> tz_vmm] [vm] devtmpfs: mounted [init -> tz_vmm] [vm] Freeing unused kernel memory: 140K (8042b000 - 8044e000) [init -> tz_vmm] [vm] random: nonblocking pool is initialized INIT: version 2.88 booting [init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in runlevel S. [init -> tz_vmm] [vm] [....] Starting the hotplug events dispatcher: udevdudevd[150]: starting version 175 [ ok -> tz_vmm] [vm] . [ ok -> tz_vmm] [vm] [....] Synthesizing the initial hotplug events...done. [init -> tz_vmm] [vm] [....] Waiting for /dev to be fully populated...imx2-wdt 53f98000.wdog: timeout 60 sec (nowayout=0) [init -> tz_vmm] [vm] usbcore: registered new interface driver usbfs [init -> tz_vmm] [vm] usbcore: registered new interface driver hub [init -> tz_vmm] [vm] usbcore: registered new device driver usb [init -> tz_vmm] [vm] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver [ ok -> tz_vmm] [vm] done. [ ok -> tz_vmm] [vm] [....] Activating swap...done. [init -> tz_vmm] [vm] EXT4-fs (sda1): re-mounted. Opts: (null) [ ok -> tz_vmm] [vm] [....] Cleaning up temporary files... /tmp. [init -> tz_vmm] [vm] [info] Loading kernel module ledtrig_heartbeat. [init -> tz_vmm] [vm] FATAL: Module ledtrig_heartbeat not found. [init -> tz_vmm] [vm] [info] Loading kernel module g_ether. [init -> tz_vmm] [vm] using random self ethernet address [init -> tz_vmm] [vm] using random host ethernet address [init -> tz_vmm] [vm] using self ethernet address: 1a:55:89:a2:69:41 [init -> tz_vmm] [vm] usb0: HOST MAC 2a:cd:e3:c7:c8:0a [init -> tz_vmm] [vm] usb0: MAC 1a:55:89:a2:69:41 [init -> tz_vmm] [vm] using random self ethernet address [init -> tz_vmm] [vm] using random host ethernet address [init -> tz_vmm] [vm] g_ether gadget: Ethernet Gadget, version: Memorial Day 2008 [init -> tz_vmm] [vm] g_ether gadget: g_ether ready [init -> tz_vmm] [vm] g_ether gadget: high-speed config #1: CDC Ethernet (ECM) [ ok -> tz_vmm] [vm] [....] Activating lvm and md swap...done. [init -> tz_vmm] [vm] [....] Checking file systems...fsck from util-linux 2.20.1 [ ok -> tz_vmm] [vm] done. [ ok -> tz_vmm] [vm] [....] Mounting local filesystems...done. [ ok -> tz_vmm] [vm] [....] Activating swapfile swap...done. [ ok -> tz_vmm] [vm] [....] Cleaning up temporary files.... [ ok -> tz_vmm] [vm] [....] Setting kernel variables ...done. [init -> tz_vmm] [vm] [....] Configuring network interfaces...ifup: interface usb0 already configured [ ok -> tz_vmm] [vm] done. [ ok -> tz_vmm] [vm] [....] Cleaning up temporary files.... [init -> tz_vmm] [vm] NET: Registered protocol family 10 INIT: Entering runlevel: 2 [init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in runlevel 2. [ ok -> tz_vmm] [vm] [....] Starting enhanced syslogd: rsyslogd. [ ok -> tz_vmm] [vm] [....] Starting periodic command scheduler: cron. [ ok -> tz_vmm] [vm] [....] Starting OpenBSD Secure Shell server: sshd. [init -> tz_vmm] [vm] [init -> tz_vmm] [vm] Debian GNU/Linux 7 usbarmory console [init -> tz_vmm] [vm]

2 4

FYI: microkernel.info community site
by Jakub Jermář 17 May '16

17 May '16

Hello, just FYI, I have set up a simple web page[1] to promote the wider microkernel community and its goals. So far, the page comes with a brief description of the microkernel concept and an incomplete list of microkernel projects with links to each project's web. The description is made out of the first two sentences I found in the "What is XYZ" section or elsewhere on the web of the respective project. I also took the freedom to use the respective project's logo (or what I believed was the project's logo) for promoting it. I hope you will find this small web a good idea. It was inspired by a similar (though a little bit more informative) site set up by the unikernel community [2]. The sources of the [1] web are hosted on Github [3], so feel free to submit issues or PR to make the site better. Please send me a PM if there are any issues pertaining your project's cartouche that cannot be dealt with using Github. Thanks, Jakub [1] http://microkernel.info [2] http://unikernel.org/projects/ [3] https://github.com/jermar/microkernel.info

7 8

handling misbehaving filesystem drivers
by Nobody III 14 May '16

14 May '16

I'm planning on writing an fs_filter server for the desktop environment I'm developing. The server will combine access to multiple filesystems, much like the vfs server. I want to implement this feature in such a way that a misbehaving filesystem driver can't make the server hang. How should I do this?

3 4

Android no NW - i.MX53 QSB
by Tiago Brito 09 May '16

09 May '16

Hi, I'm trying to boot Android in the Normal World of an i.MX53 QSB using U-boot in the Secure World as the bootloader. I've adapted U-boot in order to switch to Normal World upon a SMC call. The Android version I'm using is Adeneo BSP for Android Gingerbread v4.3. Android boots fine when I disable the world switch in U-boot, but when I try to boot it in the Normal World it freezes in a Kernel Panic before running the Init. I followed the patch made by Stefan Kalkowski (as suggested in https://community.freescale.com/thread/308152 ) because I was experiencing a similar problem (FAILED TO RELEASE IRAM PARTITION). Unlike Miao Yu in that post my execution didn't stop there. I thought this would be enough to run Android in the Secure World (because this is what Stefan did) but apparently it didn't work. The problem remains the same. What happens is the kernel boots successfully and then the following flow occurs: (1) init_post() at kernel/init/main.c:826 (2) run_init_process() at kernel/init/main.c:817 (3) kernel_execve() at kernel/arch/arm/kernel/sys_arm.c:81 Inside kernel_execve() when we return to user space by manipulating the kernel stack (asm code below) it lauches a Kernel Panic and init is never executed. ASM CODE: asm( ... "b ret_to_user" : : "r" (current_thread_info()), "Ir" (THREAD_START_SP - sizeof(regs)), "r" (&regs), "Ir" (sizeof(regs)) : "r0", "r1", "r2", "r3", "ip", "lr", "memory"); In addition we noticed that the execution jumps to do_undefinstr at kernel/arch/arm/kernel/entry-armv.S:689 b do_undefinstr Besides this we confirmed that init is never executed by adding a print to init's main function (src/system/core/init/init.c:713). Thanks, Tiago Brito

2 1

new genode-desktop-environment repository
by Nobody III 05 May '16

05 May '16

I've created a new genode-desktop-environment repo. It currently contains my file manager, as well as a readme with my vision for a (somewhat) integrated desktop environment. Given that the components will be integrated to work together, I believe it makes sense to keep my repo separate from the genode-world repo.

1 0

Implementing additional SPECS in genode-world
by Johannes Schlatow 03 May '16

03 May '16

This is a follow-up of my previous approach [1] on separating the support of additional platforms from the official repository: In addition to the zynq_qemu SPEC variable that is already existent in the official repository, I'd like to add SPEC variables like `zynq_parallella` and `zynq_zedboard` to genode-world. However, I just ran into a conceptual problem that I'd like to discuss here. First, I can place a core.mk in genode-world/lib/mk/specs/zynq_parallella, which is then used as soon as I change the SPECS from zynq_qemu to zynq_parallella. I am also able to set the include directories properly. The point where I got stuck, however, is that I need to include the less-specific configuration files within base-hw, which I achieve by the following line: include $(call select_from_repositories,lib/mk/spec/zynq/core.inc) Now, the issue is that including makefiles from other repositories won't work properly. This is due to the fact that $REP_DIR (used e.g. in core.inc) will evaluate to `[...]/repos/world` and not `[...]/repos/base-hw`. Do you have any idea on how to work around this or even on how to improve the build system in order to support this use case? Cheers Johannes [1] https://github.com/genodelabs/genode/pull/1926

2 2

Re: Reagaring Genode and USB Armory
by Agrawal, Utkarsh 03 May '16

03 May '16

Hello, The initial steps of compilation and building the SD card were not clear. It took me few days to understand whats going on with the building procedure. I will share the script file soon. There are some changes I am making to it. Then maybe you can incorporate it into the repository. I see that the wiki got updated. Thanks for that. Here is the link to the output: http://pasted.co/7ff78388 Thank You Utkarsh ________________________________________ From: Martin Stein <martin.stein@...1...> Sent: Tuesday, April 26, 2016 2:19 PM To: Agrawal, Utkarsh Subject: Re: Reagaring Genode and USB Armory I have answered your last mail on the mailing list [1]. It has the same subject line as this mail. Cheers, Martin [1] genode-main(a)lists.sourceforge.net Am 22.04.2016 um 11:17 schrieb Agrawal, Utkarsh: > Hello, > > Yes, I think it is a good time that we move it to the mailing list. How shall we do it? > > Thank You > Utkarsh > > ________________________________________ > From: Martin Stein <martin.stein@...1...> > Sent: Wednesday, April 20, 2016 5:07 PM > To: Agrawal, Utkarsh > Subject: Re: Reagaring Genode and USB Armory > > Hey Utkarsh, > > I would like to move this discussion to the mailing list at this point. > > Do you agree with that? > > Cheers, > Martin > > Am 20.04.2016 um 08:01 schrieb Agrawal, Utkarsh: >> Hello, >> >> I was able to Install ootloader, Genode, and the Linux rootfs. Thanks a lot for your guidance. I have compiled a script which does all this task easily. I would love to contribute this to the community, and would like to know how can I do it. >> >> Next steps as I see are: >> 1. Connect USB Armory to host machine via USB-to-TTL serial cable. >> 2. Connect to USB Armory COM port. >> 3. Insert USB Armory into host USB slot and interrupt auto boot on COM port. >> 4. Send bootloader commands on COM port: >> 5. Linux login: The login and password of the Linux guest are both "usbarmory" >> >> I hope the above steps are pretty straight forward, and there should be no issues there. >> >> Also, at [1], they mention about this "make ARCH=arm zImage LOADADDR=0x80008000 modules". I am not sure what image they are talking about, when am I supposed to do this step. >> >> Next I would like to know how do I start working on TrustZone with Genode. Can you guide me on how to start with a sample application which switches between Normal and Secure World? >> >> Thank You >> Utkarsh Agrawal >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath… >> ________________________________________ >> From: Agrawal, Utkarsh >> Sent: Friday, April 15, 2016 11:12 PM >> To: Martin Stein >> Subject: Re: Reagaring Genode and USB Armory >> >> Hello, >> >> Thank for you the reply. I just noticed that the subject of the email has a typo. Maybe I was in a hurry when writing the first mail. :) >> >> I am sure that I was in the mentioned branch. I will try [2] after I have the basic setup running of Genode. >> >> >> I have been trying to use [1]. But I get some errors. Following are the steps I have followed: >> >> I cloned the master branch of https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… at /home/genode/genode-master on my computer. >> >> I changed the following variables: >> export TARGET_DEV=/dev/sdc # empty boot medium >> export TARGET_MNT=/home/mnt # where to mount the boot medium >> export GENODE_DIR=/home/genode/genode-master # root of the Genode sources >> export BUILD_DIR=/path/build/hw_usb_armory # Genode build directory >> >> I am not so sure if the build directory should be what I mentioned there. I just chose a directory randomly. >> >> After this, I realized that in the :Install Genode: step there is no etc/build.conf file. I looked at /home/genode/genode-master and /home/genode/genode-master/repos/os/. >> >> To fix that I executed ./tool/create_builddir hw_usb_armory at /home/genode/genode-master >> Now I got a build directory with build.conf in hw_usb_armory folder. >> >> I copied over the build.conf to /home/genode/genode-master/repos/os/etc >> >> Next I tried running make run/tz_vmm.run. But now it just says that make: 'tz_vmm.run' is up to date. I don't think that the build process ever started. >> >> I am not sure if I am missing any steps here. >> >> Thank You >> Utkarsh >> >> >> ________________________________________ >> From: Martin Stein <martin.stein@...1...> >> Sent: Friday, April 15, 2016 3:06 PM >> To: Agrawal, Utkarsh >> Subject: Re: Reagaring Genode and USB Armory >> >> Hi Utkarsh, >> >> Am 14.04.2016 um 19:30 schrieb Agrawal, Utkarsh: >>> I landed on [2], using the USB Armory page for Genode[3]. The script fails at this line "make usbarmory_defconfig". It says something like the target was not found for make. >> >> I was not able to reproduce this but I noticed that [3] doesn't >> reference the appropriate branch in my linux repo. Are you sure that >> you're using the 'genode_hw_usb_armory_tz_vmm' branch as mentioned in [2]? >> >>> So as you said, for our own Linux guest, we can use [2]. Just to have a clear idea on this, will I have to combine partial instructions from [1], and the rest from [2] to be able to run our own guest? >> >> Script [2] copies the images (linux, dtb, rootfs) that are normally >> downloaded by script [1] to $TARGET_DIR so you want to 'export >> TARGET_DIR=<YOUR_GENODE_BUILD_DIR>/bin' under ':User settings:' in >> script [2]. So, if you examine script [2] first, script [1] afterwards >> automatically uses the custom images instead of downloading others. >> >>> Also, I request you to kindly look at [3], and put up relevant details there. As because of [3] I was going around in circles, and could have never landed on [1]. >> >> Thank you for the hint. I will redirect it to the Inversepath staff. The >> content of the wiki is up to them and I would suggest you to preferably >> use [1] and [2] for the Genode-related stuff. >> >> Cheers, >> Martin >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… >> >> [2] >> https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_m-2Dstein_g… >>

2 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2016