Re: OverlayWM example compile error

Hi Leon, == Linking testovlinput /usr/bin/ld: cannot find -lthread_linux collect2: ld returned 1 exit status Thanks for reporting. The example requires the package thread_linux, which was not exported to our remote-cvs until now. Soon (hopefully tomorrow), it will be available at the remote-cvs

Re: Dope Crash during large fb output

on bare hardware? Which libC are you using? Which program prints the error message? Reproducing the error would help a lot. Regards, Norman Feske ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4

Re: vbemode option in l4dope?

Hello, I'd like to ask if it's planned to implement l4con's --vbemode command line option in l4dope too? I couldn't get grub's vbeset We do not plan to implement this feature for DOpE but technically, there is no argument against it. So please feel encouraged to try porting this feature to

Re: vbemode option in l4dope?

Hello, This is the last message (on serial), while the Qemu screen is black and empty (it does change its size, so I guess vbeset works, and the failure is in L4/Fiasco somewhere) Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Nov 23 10:27:00 2006

Re: [NITPICKER] Porting X.org 1.1.1 to use NitPicker

Hi Nicolas, We are working on L4, currently especially on the graphical aspect. As we love NitPicker (NitPicker is cool ;)), we want to use it to run L4Linux on top on it. Great to hear that you are giving Nitpicker a try! So we have started with a Linux installation (Gentoo Linux), after

Re: How to determine if the button is pressed or not in L4 Dope?

Hi Lynette, Thanks for your advice. I already read dope-users-guide.txt and vscrtest.c and use button event. The application uses ffmpeg to watch video in L4 dope. Right now, I am writing the pause function but there is a button problem occurred. The sequence is that user presses play

Re: fiasco - related

-cds Regards Norman -- Norman Feske Genode Labs ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Announcement: Genode 10.02 adds support for the NOVA hypervisor

-notes/10.02/ The new release is available via the project's subversion repository and at the Genode download page: http://genode.org/download/latest-release Regards -- Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org ___ l4

Web browser on L4 (Re: errors getting python up-and-running)

-- Dr.-Ing. Norman Feske 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, Christian Helmuth ___ l4-hackers mailing list l4-hackers

Re: L4Re: C++ or DICE for IPC

-- Dr.-Ing. Norman Feske 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, Christian Helmuth ___ l4-hackers mailing list l4-hackers

Re: L4Re: C++ or DICE for IPC

Hi Valery, Ada is nice, but what if no OOP exist in the language at all, like in plain C? A combination of C with IDL was good enough to use. So, Genode is using a dynamic IPC marshalling too? But I also see a Liasis RPC stub-code generator by Stefan Kalkowski in the Genode wiki, so

Re: Genode OS framework and kernel-specific features

as expected. Cheers Norman -- Dr.-Ing. Norman Feske 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, Christian Helmuth ___ l4-hackers mailing

Re: Genode OS framework and kernel-specific features

options for launchpad. and tried to start Core as root. Then it won't find 'config' again. What could be wrong? Need I copy the full Core log? Running core as root is not needed. It runs fine as plain user-level process. Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode

Re: how i can determine utcb loaction in order to make thread

thread. You should also consider to not immediately return from the main function. The kernel will see roottask exiting, which is an unexpected behavior from the kernel's point of view. For a test, just insert an infinite loop at end of 'main'. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http

Re: how i can determine utcb loaction in order to make thread

Norman -- Dr.-Ing. Norman Feske 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, Christian Helmuth ___ l4-hackers mailing list l4-hackers

Running Fiasco.OC in Bochs

Norman -- Dr.-Ing. Norman Feske 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, Christian Helmuth ___ l4-hackers mailing list l4-hackers

Re: Fwd: Running Fiasco.OC in Bochs

Hi Martin, Using your setup, my Bochs instance hung up instead of reporting a double fault, but then again, everything worked when I disabled the PCI bridge. So maybe pci: enabled=0 thanks a lot - your hint was spot-on! With PCI being disabled, the kernel starts up successfully. Even

Re: [Announcement] Karma VMM first public release

Hello, congratulations for getting Karma out of the door finally. :-) The project looks very interesting. However, I think it would be sensible of you to contrast your approach with existing projects, in particular L4Linux, Afterburner, and Vancouver. This way, potential users would gain a

Re: [Announcement] Karma VMM first public release

/liebergeld-diplom.pdf I would be happy if this spawns even more questions, and I am looking forward to answering those. Please do not take my statements above as offense. I am just genuinely interested. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http

Re: Fiasco.OC: sigma0 stucks in ipc-path

of sigma0 (as done by OKL4 or NOVA, btw) would certainly be the cleanest way to fix our problem. .-) Norman -- Dr.-Ing. Norman Feske 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

Re: L4Re GUI

, compared to Qt4, DOpE is extremely light-weight, responsive, and memory efficient. So one day, I will certainly come back to it. But that day is not in sight right now. Best regards Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH

Re: Our experience with Fiasco.OC + Genode on the Pandaboard

discussed our steps within the team. It was great to explore the platform together. I cannot be specific about the number of man months because the work described in the article is just a sub set of the work we did during that time. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http

Re: Merging sigma0 and roottask

) not less complex but more complex. From your mail, I understand that you do not feel any urge to change the status quo as sigma0 apparently causes no problems for you. Even though I was hoping for a different response, thank you for stating your stance. Regards Norman -- Dr.-Ing. Norman Feske

Re: Help with RaspberryPI USB on Fiasco.OC+Genode

the accesses to the interrupt-controller registers. Look if each of them touch the same bits once the USB driver is started. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden

Fwd: Microkernels / Component-based OSes devroom - Call for Participation

Hello L4 hackers, I'd like to invite you to the microkernel developer room at the upcoming FOSDEM in Brussels. Please find the call for participation below. Cheers Norman FOSDEM 2017 - Microkernels / Component-based OSes devroom CALL FOR PARTICIPATION The developers of several free and