Re: overhead of using multiple processes

Hi Ben, IMO you're bringing up a very relevant and important question. The file type identification could be severe for the users, as file parsing and media rendering libraries do not have a particularly good track record when it comes to security [1]. I guess this would not be as dramatic in you

Re: Changing Virtualbox's argument

Hi Naiji, I accomplished this by adding a custom VESA mode to the VirtualBox configuration. Add an to the node in the config, e.g. ... Additionally, you may need to add a kernel parameter to select the respective VGA mode: vga=864 I guess installing the guest addition

Re: MuPDF fails

That fixed it, thanks for the quick response! On 05.09.2017 16:17, Norman Feske wrote: > Hi Alex, > >> when running the mupdf demo on base-linux/x86_64 (make run/mupdf), I get the >> following error: >> ... >> [init -> mupdf] Error: libc suspend() called from non-user context >> (0x1180506) -

Re: Predefined window position

Hi Norman, thanks for fixing, the positioning works as expected now. I changed my apps to request the desired width/height for now, but I guess extending the layouter to support that would be a sensible future enhancement. Cheers, Alex On 05.09.2017 16:04, Norman Feske wrote: > thanks for bring

Predefined window position

Hi all, I want to set a fixed position for windows on startup. My scenario uses the floating_window_layouter just like run/mixer_gui_qt_test. According to gems/src/app/floating_window_layouter/README, this should be as easy as adding a policy line to the layouters config. In the mixer_gui_qt_tes

MuPDF fails

Hi all, when running the mupdf demo on base-linux/x86_64 (make run/mupdf), I get the following error: genode build completed using 'core-linux' as 'core' using 'ld-linux.lib.so' as 'ld.lib.so' using 'linux_timer_drv' as 'timer' spawn ./core Genode 17.08 17592186044415 MiB RAM and 8998 caps assig

Re: Receiving message written by writev() in multiple chunks

Hi Christian, I agree that applications should be able to cope with that situation and that theres no guarantee about fragmentation in recv(). I will fix the respective test case and hope no real applications do rely on that behavior. I'm OK with leaving the implementation as is. Thanks! Cheer

Receiving message written by writev() in multiple chunks

Hi all, when using writev() on a TCP socket, I get a behavior that is unexpected, although it may OK by the specification. My test program is using the libc_lwip_loopback plugin. I create a TCP socket, bind it so some address/port and put it into listening mode. Then, I create another socket, c

Re: Why DDE BSD for audio?

Hi Josef, I was expecting that kind of answer and I can feel the pain ;-) Thanks for the insight. Cheers, Alex On 31.01.2017 14:13, Josef Söntgen wrote: > Hello Alexander, > > * Alexander Senier [2017-01-31 12:52:50 +0100]: >> when looking into Genodes driver support, I was

Why DDE BSD for audio?

Hi all, when looking into Genodes driver support, I was wondering about DDE BSD. The audio_* ports seems to be its only use case. Is there any (technical) justification for not porting audio drivers from Linux using DDE Linux? With USB, WiFi and GMA there were much more complex driver ported usi

Re: Updating Genode's license to AGPLv3 + open-source linking clause

Thanks, Norman, for that well-structured review of the proprietary software issue. One aspect came to mind that I don't see covered, thought. One some platforms, proprietary device drivers are mandatory even on Linux to get certain functionality working. Think of popular 3D graphics cards as an

Re: Assigning PCI device to device_pd

Hi Alex, that was the crucial hint. When properly upgrading the quota, config_write succeeds, the device gets attached and my scenario works as expected. You made my day! Cheers, Alex On 22.11.2016 20:28, Alexander Boettcher wrote: > by calling config_write() successfully ;-). You have to handl

Assigning PCI device to device_pd

Hi all, I'm building a toy driver to experiment with the details of Intel integrated graphics. My experiments are based on Genode 16.08 (master) using NOVA. Getting a capability to the IGD device (0:2:0) from the platform driver works, so does reading/writing PCI config space, mapping BAR0 and a

Re: [seL4] FYI: microkernel.info community site

tness (which is a superset of absence of > runtime errors) for seL4 in 2009. I must be missing something. -- Dipl.-Inf. Alexander Senier Scientific Assistant TU Dresden Faculty of Computer Science Institute of System Architecture Chair of Privacy and Data Security 01062 Dresden Tel.

Re:

Hi Lonnie, I was facing the same issue. svn.freebsd.org is doing DNS rotation such that some repos got fetched OK and others timed out when preparing libc. Aliasing svn.freebsd.org with the IP address of svn.de.freebsd.org in /etc/hosts solved the issue for me: 213.83.6.108 svn.freebsd.org HTH

Re: run/noux_vim yields black SDL window on linux_x86

I can confirm that that routing changes do NOT solve the problem on Debian, I does however solve it on Nova/x86_32. I can live with that as an experimentation platform, but maybe the Linux issue is worth investigating. If you need me to try anything out, don't hesitate to get in touch with me. Che

run/noux_vim yields black SDL window on linux_x86

Hi all, I'm trying to run some more elaborate demos on with Linux as the base system. My host is a Debian Stretch (x86_64), I'm on master which I checked out this morning (5cf8c49c). When trying to run 'noux_vim', a completely black SDL window (no text or anything) shows up. The following is outp

Re: Building Genode for Linux/ARM

Hi Christian, On 19.05.2015 14:08, Christian Prochaska wrote: > I remember having some problems with chroot environments and terminals > in general when /dev/pts was not bind-mounted in the chroot environment. > Could this be the problem here, too? Yes, this most likely is the Problem. However, b

Re: Building Genode for Linux/ARM

Hi Christian, yes, that did the trick. Thanks a lot! Building Genode programs for linux_arm works now in the qemu-user chroot environment. Even the SDL-based nitpicker demo runs from within that environment. The only disadvantage is that the run scripts fail, as expect has some issues with crea

Re: Building Genode for Linux/ARM

Hi Christian, that explains the issue. Would be nice if the build system could stop if I ask it to cross-build for linux_arm. (Or even better, to have a cross toolchain ;-) I don't have a suitable host to build natively right now, but managed to create a "cross" toolchain using qemu-user like th

Building Genode for Linux/ARM

Hi all, I'm trying to build Genode for the Linux base platform for ARM without success so far. Despite having the ARM toolchain installed, my builds always are x86_64. Here is what I did after checking out the source tree: $ cd /tool $ ./toolchain arm After prompting for my super user password t