Re: interrupts on AMD hardware

Hi John, On 03.05.2018 17:47, John J. Karcher wrote: > On 05/02/2018 07:42 AM, Alexander Boettcher wrote: >> >> Ben & John, >> >> may you please try my branch [0] with the run/ahci_bench and run/lwip >> scenarios and tell me whether this change anything for y

Re: interrupts on AMD hardware

shaking off the rust for a > good cause.  ;^) > > If you post your discoveries / observations on this ML (or elsewhere, as > appropriate), I will do the same. Ben & John, may you please try my branch [0] with the run/ahci_bench and run/lwip scenarios and tell me whether this change

Re: access to tsc calibration info

Genode, are reported as "platform_info" ROM. See the commits of [0]. Cheers, Alex. [0] https://github.com/genodelabs/genode/issues/2710 -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz D

Re: Sculpt EA On VirtualBox

On 05.03.2018 17:07, John J. Karcher wrote: > On 03/05/2018 08:05 AM, Alexander Boettcher wrote: > >>>> Since I primarily run everything I do in VirtualBox (and don't have >>>> the recommended hardware anyway), I created a VM as close to the >>>> recom

Re: Sculpt EA On VirtualBox

here has been no solution for ICH9 and network, but a quirk for PCIIX3 and network exists. Maybe you can report there your findings, if you have some news. Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs

Re: Bender and GRUB1 "legacy"

the invalid ACPI table in your case. [0] https://github.com/alex-ab/genode/commit/b2bedb8eef2d39df79db648c23d6fe8725e18f3c -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer:

Re: Bender and GRUB1 "legacy"

kage as noted above.) If this does not help, try first with the simple run script usb_hid.run in repos/dde_linux. Use objdump to find out which source line the instruction pointer belongs to. Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode L

Re: Bender and GRUB1 "legacy"

vga_console_16_08 Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ---

Re: Beginner : VMM with genode

ode.run > module /seoul-kernelbuild.run > module /seoul-net.run This is not going to work. The *.run files are just scripts runnable on your ubuntu machine - nothing you can boot directly. Again, as I suggested already some emails before: >>>> Please consult the Genode Foundatio

Re: noux_bash failure

gt; Any suggestions? it seems to be a packaging problem of Genode/seL4. Re-building core instead of using core from the package, as quick quirk, works for me on x86_32: --- a/repos/ports/run/noux_bash.run +++ b/repos/ports/run/noux_bash.run @@ -131,6 +131,7 @@ Hello world !! } -build_boot_

Re: Problem with running sel4 on Genode

n the message has something to do with the > error or is it normal? > No, it is not normal. I would suggest to delete all contrib/sel4- sources and redo the prepare step of sel4. Avoid usage of sudo. Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org

Re: Problem with running sel4 on Genode

ort sel4, I get the > following error, which I am unable to bypass. on which Genode commit you are working respectively Genode release ? Please don't use sudo - you don't need root privileges to build Genode in general - or do you ? Cheers, -- Alexander Boettcher Genode Labs http://www.geno

Re: noux_bash failure

/x86_64 run/noux_bash If you are running on a 64bit Linux machine, also user@muster:~/genode.git$ KERNEL=linux make -C build/x86_64 run/log will work. (If you're running on a 32bit Linux, you would need a x86_32 build directory created by tool/create_builddir x86_32). Cheers, -- Alexander Boettc

Re: Beginner : VMM with genode

also consult the Genode Foundations book, which describes the framework and also run mechanism in more detail. Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.

Re: Roadmap 2018

ized) work in Genode's core. Beside some modernization - read only dataspace capabilities and removing physical address information from the Dataspace interface come to my mind. Happy hacking, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsge

Re: Side-channel attacks (Meltdown, Spectre)

Hello Matthias, thank you for the information ! Alex. On 08.01.2018 10:47, Matthias Lange wrote: > Hi, > > On 2018-0105 at 20:24:19 +0100, Alexander Boettcher wrote: >> Hi Udo, >> >> On 05.01.2018 17:36, Udo Steinberg wrote: >>> Norman Feske (NF) wrote: &

Re: Help : booting genode with nova: kernel not found

ry to load it , but i get the error > file '/genode/hypervisor' not found > and for the other module i get the message : you need to load the kernel > first Maybe try first without symbolic link, e.g. make a copy of hypervisor and image.elf.gz to your desired location. > > I t

Re: Side-channel attacks (Meltdown, Spectre)

hts, Alex. [0] https://github.com/udosteinberg/NOVA [1] https://github.com/alex-ab/NOVA/tree/r9 -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christi

Re: Side-channel attacks (Meltdown, Spectre)

g to your knowledge, have all physical memory mapped in the kernel ? The currently supported microkernels for Genode are Pistachio, OKL4, L4/Fiasco, Fiasco.OC, Nova, seL4 and our own hw kernel. Thanks, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genod

Re: Disk images for ARM based Genode Scenarios

SD-card) you have to setup yourself. Either you have one already shipped with your board or you may try to create a u-boot using our tool in "tool/create_uboot". Hope it helps, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH

Re: wifi: assignment of PCI device failed

s useful to you). >> >> Regards, >> Johannes >> >> [1]: https://imgur.com/a/osaVJ >> [2]: >> https://github.com/jklmnn/genode/tree/8a64415f52df2dee30e8fcd279e16d1b18eb2fb9 >> >> Am 04.12.2017 um 22:14 schrieb Alexander Boettcher: >>&g

Re: wifi: assignment of PCI device failed

On 04.12.2017 22:14, Alexander Boettcher wrote: >> I thought that this was a missing route but I couldn't find a related >> message and assigning default routes didn't fix it. >> The error seems to appear in >> repos/base-nova/src/core/pd_session_support.cc:assign_pci

Re: wifi: assignment of PCI device failed

d_session_support.cc:assign_pci returning > false but I couldn't find out why this happens. > Does anyone have an idea? What is or maybe are the value(s) for the variable 'res' in repos/base-nova/src/core/pd_session_support.cc:assign_pci ? -- Alexander Boettcher Genode Labs http://www.geno

Re: Virtual machines from .vdi images

" announces service "Framebuffer" > [init] child "nit_fb2" announces service "Framebuffer" > [init] child "nit_fb1" announces service "Input" > [init -> nit_fb1] using xywh=(10,10,1024,768) > [init] child "nit_fb2" announces

Re: vbox4_ubuntu_16_04_64.run recipe

.vbox files for the vdi image names and add the files to the filesystem on the target machine beforehand. Information about creating the overlay images you will find in the Internet or you may read the beginning of repos/ports/run/vbox_share.inc for some hints. Cheers, -- Alexander Boettcher Gen

Re: UEFI support for x86

the framebuffer initialized by Grub2/UEFI is expected to be not too hard (as it already done for Genode/NOVA). -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH -

Re: VirtualBox with Networking

one VM to the NIC > bridge then back to the second VM but that didn't occur either. I will > also try Martin's suggestion with the NIC dump but there is certainly > something not routing properly with the bridge. > > Chris > > On Mon, Sep 25, 2017 at 7:48 AM, Alexander B

Re: VirtualBox with Networking

- > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > > > > ___ > genode-main mailing list > genode-main@lists.sourceforge.ne

Re: Genode on i.MX6Q Sabre Lite

On 13.09.2017 08:48, Alexander Boettcher wrote: >> to enable it on Sabre Lite platform, and currently I have no problems >> running test scenarios under default hw kernel. But when attempting to run >> Genode with seL4, the boot process hangs up once it reaches "Jumping t

Re: Genode on i.MX6Q Sabre Lite

mx6 for building and for >>> creating the image. >>> >>> I guess I should do some cleanup if anyone else wants to use the >>> stuff... >>> >>> With kind regards, >>> Hinnerk >>> >>> >>> >>>

Re: ACPI _PS0 failing with UNINITIALIZED_ARG

> This is the sequence called by Linux (shortened, double entries are > omitted). Beside the status calls I can't see anything special. > > Regards, > Johannes > > Am 04.08.2017 um 11:12 schrieb Alexander Boettcher: >> Hi, >> >> On 03.08.2017 13:29, Johannes Kli

Re: ACPI _PS0 failing with UNINITIALIZED_ARG

tch (but they have common roots), so that one may possibly deduce the difference in the behavior. Maybe a update to a new ACPICA library version for Genode can help (since there a features and fixes in the upstream ACPICA library according to the changelog) ? Good luck, -- Alexander Boettcher Genode

Re: Nova without Bender

it. Thanks! Cheers, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth -

Re: lwip and seL4

- thread: ep >> [init] child "acpi_drv" exited with exit value 1 >> Error: Test execution timed out >> Makefile:309: recipe for target 'run/lwip' failed > > > ------ > Check out the vibr

Re: Networking Support in VirtualBox

w them. Obviously, this only make sense if you managed to boot Genode into the graphical environment and all went fine. (Which sounds so in your case). Good luck, Alex. [0] https://github.com/alex-ab/genode/commits/staging_vbox_run > > On Thu, Jul 6, 2017 at 4:00 PM, Alexander Boettcher < >

Re: Genode on i.MX6

Hi Hinnerk and Yevgeny, On 06.07.2017 03:06, Hinnerk van Bruinehsen wrote: > On Wed, Jul 05, 2017 at 12:43:29PM +0200, Alexander Boettcher wrote: >> Thanks to your work I could get the tool integrated into the run tool >> infrastructure of Genode in within one day. And the best,

Re: Networking Support in VirtualBox

: No virtualization hardware acceleration available Your CPU has no hardware support for virtualization. You either are not running on real hardware or the feature is not turned on in your BIOS (which sometimes is disabled by default by the PC vendors.) Cheers, -- Alexander Boettcher Genode

Re: Networking Support in VirtualBox

7fe2c000,7fe2cfb1) test.vbox > ROM: [7f8e6000,7f8fa6a8) timer > ROM: [7faf5000,7fb0e0a0) vbox_pointer > ROM: [7dc1a000,7e877678) virtualbox5-nova Please check that the files are part of your boot_module list in yo

Re: Networking Support in VirtualBox

oldish Lenovo X201 Thinkpad (using amtterm to get Intel AMT SOL output.) Regards, >> [0] https://github.com/alex-ab/genode/commits/staging_vbox_run -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz

Re: Genode on i.MX6Q Sabre Lite

Check that the symbol actually shows up as symbol in >>> core.o, e.g. by examining the output of "readelf -s >>> build//core/sel4/core.o". In case it is successful, on x86 I get: readelf -s build/x86_32/core/sel4/core-sel4.o | grep log | grep Log 7729: 0

Re: Genode on i.MX6Q Sabre Lite

log()' >> ... Log::log, e.g., is implemented in repos/base/src/lib/base/default_log.cc and normally compiled by repos/base-sel4/lib/mk/core-sel4.mk. It seems that it is missing. Please check that you compile and link the file to core. Check that the symbol actually shows up as symbol in core.o, e.g. b

Re: Networking Support in VirtualBox

pt a Network multiplexer is missing, to run 2 VMs with network. [0] https://github.com/alex-ab/genode/commits/staging_vbox_run Hope it helps, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäft

Re: Bender cannot relocate

node-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH -

Re: Genode OS Framework version 17.05 released

may be too low, depending on the hardware you use. Hope it helps. [0] https://github.com/alex-ab/genode/commit/5a1fbe0c31262273d07ae07c96fdd70de8fe21bc -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424

Re: lighttpd.run

un the iso in Virtualbox, check that you have the I/O APIC enabled and the serial device enabled to "see" actual something. Hope it helps, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz

Re: Grub2 efi files

i part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci serial -p "/boot/grub" -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführ

Re: VirtualBox subsystem on reconfigurable init

ox instance beforehand. (You may also enable in your run script cpu_monitor variable to see who get what part of the CPU share). Hope it helps, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Ge

Re: compiling genode with Virtual box tiny core Linux

! http://sdm.link/slashdot > > > > ___ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Alexander Boettcher Genode Labs http://www.genode-labs.com

Re: Nova demo with GUI

/github.com/alex-ab/genode/commit/955d9ea638437e974ebd8e058f6237b3add2f3c7 -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing

Re: Now: Understanding Muen and base_hw kernel from docs, [Earlier] Re: Problem with make run/demo ....

Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth -- Che

Re: Genode, seL4 and VirtualBox

cumentation/release-notes/16.08#Limitations Regards, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführe

Re: Genode on i.MX6Q Sabre Lite

Hi, On 03.04.2017 04:49, Yevgeny Lavrov wrote: > This did the trick and sd_card_bench successfully executed :) Good ! > On seL4 side I got this far: > The error occurs once the build process hits one of the files within this > directory: base-sel4/src/core and these files appear to be Genode

Re: noux_bash + gcc

Hello, On 02.04.2017 18:21, Humblenoob wrote: > My ideal system that I would like to create in the meantime would be > noux_bash with gcc, g++, and make. How would I suppliment the existing > noux_bash.run script to include these packages? have a look into the following scripts:

Re: Genode on i.MX6Q Sabre Lite

heck the documentation of seL4. Cheers, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: D

Re: Thinkpad X250 vs X260 ?

ith seL4 4.0 [1]. Cheers, Alex. [0] https://wiki.sel4.systems/seL4%203.2.0 [1] https://wiki.sel4.systems/seL4%204.0.0 -- Alexander Boettcher Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman F

Re: Assigning PCI device to device_pd

.com/genodelabs/genode/blob/master/repos/os/src/drivers/ahci/spec/x86/platform.cc#L101 Cheers, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Ch

Re: Linking genode processes at different address space

EC and PD pointers in the kernel with Genode names for the process and threads. Hope it helps, Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske,

Re: Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules

()) ; > which I barely understand as calling each functions in an array of > Constructors (CTORS_C). > > Wish I would knew where CTORS_C is defined, but I guess I need not to know. > I am not so good with coding... so it might be just to the limit of my > abilities to do and test

Re: VirtualBox on Genode

you have such a slot. Alex. > On Fri, Sep 9, 2016 at 12:15 PM, Alexander Boettcher < > alexander.boettc...@genode-labs.com> wrote: > >> Hello, >> >> On 09.09.2016 17:38, Chris Rothrock wrote: >>> I am working with Yevgeny on this part of the project and I

Re: VirtualBox on Genode

Hello, On 05.09.2016 10:05, Yevgeny Lavrov wrote: > while testing it via Qemu, I ran into the following issue: once Tinycore > Linux reaches "Booting the kernel" phase, it hangs, and the following msg ... > [init -> virtualbox] Using SVM virtualization extension. ... > [init -> virtualbox] fb

Re: VirtualBox on Genode

Hello, On 02.09.2016 00:04, Yevgeny Lavrov wrote: > 1) Where should I put Tinycore Linux .iso file? It says save it as > bin/test.iso in the similar thread "running VirtualBox on Genode" on Genode > mailing lists. Is it /build/nova_x86_64/bin directory that gets Yes. > 2) Where should I add "

Re: porting python in tz_vmm demo

Hello, On 29.07.2016 01:09, Abhay Amala wrote: > interpreter works fine now but I don't understand what is "*int > _sigaction(int, const sigaction*, sigaction*): _sigaction not implemented*" > message? Does anyone have any idea? Thanks in advance for your answers. > > [init -> test-python] int

Re: Heeselicht scenarion, cannot launch linux vm

Hello, On 05.07.2016 21:42, Parfait Tokponnon wrote: > unresolvable exception 3, pd 'init -> cli_monitor -> linux -> vbox', thread > 'EMT-1', cpu 0, ip=0x1103ca5, no signal handler some assertion triggered in Virtualbox. The output of Virtualbox is routed to the terminal_log 'log' server and not

Re: Turmvilla 16.05 on Lenovo x250

On 04.07.2016 14:48, Martijn Verschoor wrote: > Hi, > > Thanks Alex, your magic fix helps me a bit further. Not magic - more or less careless to use a fixed sized allocator instead of a dynamic allocator ... you may open a github issue for that ;-) > Now the Turmvilla scenario boots and I can

Re: Turmvilla 16.05 on Lenovo x250

Hi, On 04.07.2016 12:11, Martijn Verschoor wrote: > This weekend I tried to upgrade my Lenovo x250 Turmvilla system to Genode > 16.05 using Norman’s turmvilla-16.05 topic branch. I built the turmvilla.run > script as is, without modifications. In contrary to the turmvilla-16.02 > branch, I do

Re: Feather: A very lightweight web service for Genode platforms.

Hi, On 16.06.2016 22:06, Guido Witmond wrote: > - with Nova, I don't see the serial console output, however, it serves > pages just as fast as FOC; any ideas how to configure it to get the Nova > console output? please try to add the following patch (see steps below) to your foc build directory

Re: seoul-disc

Hi, On 07.06.2016 06:09, 朱可 wrote: > i am from china, i love Genode, I use Genode/Nova for running my ISO（it is > an OS similar wiht vxworks）on seoul Seoul have no support to run OSes directly from a ISO image, see [0] for options you have. Alternatively you may use VirtualBox on Genode/Nova,

Re: 16.05 printf test does not build for Cortex A9.

Hi, On 30.05.2016 18:45, Bob Stewart wrote: > It appears that the 16.05 build uses a new environment parameter > BASE_HW_DIR, which cause a build on a Cortex A9 based platform to fail > in lib/mk (that is, base-hw/lib/mk/spec/cortex_a9.h) > BASE_HW_DIR := $(REP_DIR) > > But why is it

Re: x86 Genode missing modules

Hello, On 17.05.2016 19:26, Chris Rothrock wrote: > I have built Genode with the Nova microkernel and am able to get my grub2 > to boot to the build, however it appears that there are two modules missing > from the compile I was able to build - bootloader and pci_drv. Which Genode version do you

Re: Bare bones child process creation.

Hello, On 30.03.2016 19:16, Daniel Waddington wrote: > I'm trying to do bare bones process creation without using the Child or > Process helper classes (I'm toying around with serialization ideas). I > tried to construct something similar to > http://genode.org/documentation/architecture/process

Re: Problem with startx and TinyCore linux version 6.4 and soeul-fancy

Hello, On 20.02.2016 01:21, arthur low wrote: > Then I replaced the kernel: bzImage-3.1 and initrd: tc-browser.gz with a > custom-compiled bzImage ( I need to enable an additional kernel feature), > and the standard core.gz. I modified the run script so they would download > from my web server

Re: Issue in ACPI parsing code

Hello, On 09.02.2016 19:37, Tomasz Gajewski wrote: > I've found a problem in acpi.cc that caused not parsing acpi tables > properly on my pc. The problem is that there is an incomplete check for > usability of xsdt table. According to some documentation on the net > value 0 in revision entry in

Re: AHCI driver problem

Hello, On 04.02.2016 11:23, Igor wrote: > 03.02.2016, 18:52, "Igor" : >> Environment: >> Genode: 15.11 >> MB: ASUS Sabertooth Z87 >> >> Driver successfully finds my HD, creates appropriate ATA_driver, and that's >> all. With verbose messages turning on all went ok but

Re: Yet another problem with Genode+Nova_x86_64+VirtualBox on USB stick

must be adjusted in the Genode/VBox component to the Genode platform driver interface. Here we/I are willing to assist you. Cheers, Alexander Boettcher. [0] http://os.inf.tu-dresden.de/nul/ -- Site24x7 APM Insight:

Re: Yet another problem with Genode+Nova_x86_64+VirtualBox on USB stick

Hello, On 19.01.2016 18:41, 1 2 wrote: > Problem description: system hangs right after "Press F12..." VirtualBox label > disappears. > > Environment: > > MB: Asus Sabertooth Z87 > Memory: 16 GB > CPU: i7 4770k (Yes, I know that it does not support VT-d) > USB stick: Transcend 16GB 1100 > >

Re: vbox_usb_run bin/nic_drv missing

On 17.12.2015 14:10, a3an wrote: > Thanks Alex. > Another question: how do I build tool_chain_rump ? In the genode repository in the tool/ directory you find a script called "tool_chain_rump" If you just invoke it without parameters in a shell it tells you what to do, e.g. how to build and

Re: Turmvilla Memory

Hello Harm, may you please try the commit of https://github.com/genodelabs/genode/issues/1814. It is slightly different than the original one, but should have the same effect. Thanks, Alex. signature.asc Description: OpenPGP digital signature

Re: Turmvilla Memory

18db20 dump: > Block: [1000,0009d000) size=0009c000 avail=0009c000 max_avail=0009c000 > Block: [0010,0040) size=0030 avail=0030 max_avail=6bbcd000 > Block: [0280,1000) size=0d80 avail=0d80 max_avail=0d80 > Block: [1000b000,7bbd8000) size=6bbcd

Re: Turmvilla Memory

Hello Harm, may you please cherry-pick following commit and post the output until "int main(): --- create local services ---". Thanks, Alex. [0] https://github.com/alex-ab/genode/commit/92b021bc0508edc34d056a59cd54b17d251930a8

Re: Intel framebuffer driver

Hello, On 26.11.2015 20:34, Harm de Vries wrote: > I am unable to run the Turmvilla setup with the Intel framebuffer driver. > Given below is the log output. Note that this computer has the following > configuration: > > 00:00.0 Host bridge: Intel Corporation 4th Gen Core Processor DRAM >

Re: Turmvilla Memory

Hello, On 25.11.2015 20:25, Harm de Vries wrote: > $ make prepare > nova download https://github.com/alex-ab/NOVA.git > Cloning into 'src/kernel/nova'... > remote: Counting objects: 4810, done. > remote: Compressing objects: 100% (79/79), done. > remote: Total 4810 (delta 53), reused 0 (delta

Re: Turmvilla scenario

thing has to be done also for the wifi driver - so - is just guessing from my side. Alex. > > Thanks. > > > > On Fri, Oct 30, 2015 at 6:57 PM, Alexander Boettcher < > alexander.boettc...@genode-labs.com> wrote: > >> On 30.10.2015 11:49, Christian H

Re: Turmvilla scenario

On 30.10.2015 11:49, Christian Helmuth wrote: > What puzzles me in your log is the following > > 342: [cli_monitor -> linux -> vbox] EMT-0PDMR3ThreadSuspend -> > rc=VERR_TIMEOUT enmState=2 suspending 'nic_thread' > 343: [cli_monitor -> linux -> vbox] PDMR3ThreadSuspend -> rc=VERR_TIMEOUT >

Re: Turmvilla scenario

Hi Vincent, On 26.10.2015 11:19, Vincent Digital wrote: > disks for the rich Linux and Home to use "SATA" instead of "IDE" as stated > in the vm_linux.vbox. i could get the Linux OS to boot up now. Nice! > However, the Wi-Fi is still not working. I've tried to configure as per > instructions

Re: Turmvilla scenario

Hello, On 22.10.2015 15:07, Vincent Digital wrote: >> I'm using the Ubuntu 14.04 LTS Desktop as guest VM >> From the logs, I am unable to deduce what goes wrong. How do I get a > working Linux ? The screen is still blank. >> Any advise ? >From what we can see/know from you, it should work. Your

Re: Turmvilla scenario

On 21.10.2015 13:08, Vincent Digital wrote: > Hi, Alex, > > Thanks. I've updated the Turmvilla - Nova as 64bit and now I could start > the Noux subsystem. > i'm still facing hang issue in starting up the Linux subsystem. > This time I could capture the Logs from the /shared/log file. > A few

Re: Turmvilla scenario

Hello Vincent, On 20.10.2015 16:24, Vincent Digital wrote: > Are those quota overflow messages really a problem ? If you mean the "Quota exceeded" messages then it is normally no problem. Shortly afterwards of such a message you should see some "upgrading quota donation for ..." message. Mainly

Re: Turmvilla scenario

Hello, On 19.10.2015 12:30, Vincent Digital wrote: > Can anyone help. Thanks in advance. > > I've set up the Turmvilla scenario on a Lenovo X201 as much as I can based > on the documentation stated by everyone else that contributed. On boot-up I > could get the CLI_Monitor and upon entering

Re: strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)

Hi, On 14.10.2015 12:44, Parfait Tokponnon wrote: > Yes, I am running Ubuntu from within a VM (VirtualBox). Is there any > problem related to it? I didn't know we cannot test the platform from > within a VM... developing within a VM is no issue, but actually running the result from within a VM

Re: strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)

Hello, On 09.10.2015 21:06, Parfait Tokponnon wrote: > Hello, > Can anyone help out? may you please try to invoke the resulting iso file with qemu directly without using our run tool? Change "spawn qemu-system-x86_64 -cpu ..." (see log file) to "qemu-system-x86_64 -cpu ..." and call it from

Re: run/noux_bash error

Hi, On 06.10.2015 23:29, Abhay Amala wrote: > Hi Christian, > > I execute run/demo on base-nova successfully. i have tried to run make > run/noux_bash in my nova build directory, but i am not getting command > prompt inside my qemu. After displaying the following outputs, it gets > stuck. > >

Re: Genode/NOVA+Multiple VMMs Seoul / VBox

Hi Ferreira, On 19.09.2015 03:27, Roger Ferreira wrote: > Hi Alex, > I did follow and tested the image case. > I am using nova_x86_32. > I works on QEMU alone. > Unfortunately, with Genode-Seoul-QEMU, seoul-wm-cli.run script, it boots but > after a while Loading Extensions..., a memory problem

Re: running Virtualbox on Genode

Hello Vincent, On 10.09.2015 05:38, Vincent Digital wrote: > Hi, Alex, > > I've used your USB_RUN script to create an image file. > I followed your instructions to prepare the USB stick. However, the USB > stick cannot boot up. > Unfortunately, I do not have access to a laptop with serial port

Re: running Virtualbox on Genode

de/. > # - mkdir /media/genode/ram > # - cp build/nova_x86_64/bin/overlay_win7.vdi /media/genode/ram/. > # - umount /media/genode > # > # Boot your USB stick. For debugging get the serial output of the test > machine. > # > > > > > > > On

Re: Genode/NOVA+Multiple VMMs Seoul / VBox

Hello Roger, On 06.09.2015 20:21, Roger Ferreira wrote: > In the multiboot scheme, I tried to replace the bzImage with the newer > TinyCore 6.3 vmlinuz together with the initrd core.gz. > But that didn´t work. On Qemu it doesn't work for me either. Natively (Intel Core i5, Lenovo X201) it does

Re: Genode/NOVA+Multiple VMMs Seoul / VBox

Hello, On 04.09.2015 15:51, Roger Ferreira wrote: > I am not able to capture any log. I fear without any log it will become hard to impossible to get it running. > I am using a normal x86 desktop computer. You should, for example, obtain a PCI serial card and attach it - if your machine

Re: Genode/NOVA+Multiple VMMs Seoul / VBox

Hello, On 01.09.2015 16:48, Roger Ferreira wrote: > Dear Genode Community, > I would like also to be able to control and see the VMs (enter the Guest-OS, > start/stop the VM) from the Genode window as the screenshot shows. > So at first I would like to stick with Seoul. In this case, being able

Re: Announcement: Genode OS Framework version 15.08 released

Hello, it is documented here: https://github.com/genodelabs/genode/issues/1552 Cheers, Alex. On 01.09.2015 05:12, Vincent Digital wrote: > Hi, congratulations to the release of 15.08 and with it, the use of > Genode/Nova as a day-to-day operating system. > I'm interested to build the same to

Re: running Virtualbox on Genode

On 28.08.2015 13:44, Alexander Boettcher wrote: >> The part that I am not sure are the "win7.vdi" and "overlay_win7.vdi" >> files. How are they linked to the vbox_auto_win7.iso file ? >> I have copied them onto the thumbdrive but is this correct ?

running Virtualbox on Genode

will read the vdi image from your AHCI hard disk. In this setup changes to the VM are written to the overlay vdi image - so that your original win7.vdi doesn't get changed/messed up accidentally. Hope it helps, Alexander Boettcher

  1   2   >