Re: how to use genode on riscv

hin spike. The actual boot image can be found under the /build/riscv-spike/bbl/bbl (Berkeley Boot Loader). BBL implements the machine mode and also piggy backs the Genode image. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs Gm

Re: Virtual machines from .vdi images

with Ben [1] without any success. It seems like AMD's AHCI controllers are either not standard conform or might require additional initialization we are not aware of. As a starting point you could instrument the 'Ahci::handle_irq' function [2] in order to determine if any interrupts are received by t

Re: Porting third-party code to Genode

Hi Jörg, as a small addition to Normans' answer, we also wrote a porting guide: http://genode.org/documentation/developer-resources/porting Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz

Re: Blocking wait for interrupt

e or coroutine in literature and nothing more than a stack and a 'setjmp/longjmp' construct. I hope this helps, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Nor

Re: Blocking wait for interrupt

Hi Johannes, I looked into the i2c driver. Are we talking about the 'i2c_dw_xfer' function? Regards, Sebastian -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org!

Re: Blocking wait for interrupt

n up by the 'Policy_agent' signal handler. Regards, Sebastian P.S. I hope you are porting a driver and not writing one from scratch ;) -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschä

Re: [GSoC] UEFI framebuffer task

and tested in on NOVA as well. No objections from my side - good job. Next I would suggest to finish your proposal (item 15) and mark it as final until Monday. Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresde

Re: [GSoC] UEFI framebuffer task

Hi Philipp, On 03/28/2017 10:17 AM, Philipp Kerling wrote: > > Am Samstag, den 25.03.2017, 09:40 +0100 schrieb Sebastian Sumpf: >> Sounds good, looking forward to your proposal. > Thanks - I've submitted the draft. I'd be happy to hear any comments or > suggestions you and the

Re: [GSoC] UEFI framebuffer task

Hi Philipp, On 03/24/2017 09:47 AM, Philipp Kerling wrote: > Hi, > > 2017-03-21 (火) の 10:49 +0100 に Sebastian Sumpf さんは書きました: >>> Do you have any specific feature >>> requests besides simple read/write? >> >> Read/write with native command queuing supp

Re: [GSoC] UEFI framebuffer task

Hi Philipp, On 03/18/2017 07:36 PM, Philipp Kerling wrote: > Hi, > > Am Samstag, den 18.03.2017, 07:44 +0100 schrieb Sebastian Sumpf: >> Genode has two approaches with regard to drivers: First, we write our >> own (e.g., AHCI, SD, or ACPI) and second, we port them if we

Re: [GSoC] UEFI framebuffer task

Hey Philipp, On 03/17/2017 11:02 PM, Philipp Kerling wrote: > Hi Sebastian, > > Thanks for looking through my findings. > > Am Freitag, den 17.03.2017, 11:01 +0100 schrieb Sebastian Sumpf: >> Loading Genode with GRUB2 is sufficient. The main goal is, as you >> said,

Re: [GSoC] UEFI framebuffer task

ink/slashdot > ___ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Sebastian Sumpf Genode Labs http://www.genode-labs.

Re: Some questions

On 02/06/2017 10:00 PM, Hack wrote: > On 02/06/2017 08:02 PM, Sebastian Sumpf wrote: >> Hi, >> >> On 02/06/2017 03:42 PM, Hack wrote: >>> Hi, >>> >>> I am currently using Qubes OS, but with the next release, I will have to >>> upgrade

Re: Some questions

Hi, On 02/06/2017 03:42 PM, Hack wrote: > Hi, > > I am currently using Qubes OS, but with the next release, I will have to > upgrade my hardware. And it will cost me a lot. > > Anyway, I started to look at Genode OS, but I can't find an hardware > support list. > > Questions: > > 1. How to

Re: Roadmap 2017

Hi everyone, for 2017 my goal is to get Intel graphics hardware support into Genode. By now I have the intel_fb driver running on Broadwell, featuring OpenGL and libDRM, all in one component. The future task is to separate the driver from libDRM and define some sort of GPU session so multiple

Re: Page faults in managed dataspaces

Hey Denis, On 09/24/2016 06:20 PM, Denis Huber wrote: > Dear Genode Community, > > perhaps the wall of text is a bit discouraging to tackle the problem. > Let me summaries the important facts of the scenario: > > * Two components 'ckpt' and 'target' > * ckpt shares a thread capability of

Re: Genode 16.05 Fault handler

eing started. I fixed this and it works for now. It might just be a bug, but I will discuss this issue tomorrow. Regards, Sebastian > Thank you for your help in advance ^^ > > > Kind regards, > Denis > > On 31.08.2016 18:23, Sebastian Sumpf wrote: >> Hi Denis, >&

Re: Segfault when calling (Cancelable)Lock.unlock?

0 fc:01 6565379 > /tmp/genode-1000/ds-63 (deleted) > 2b7c3088a000-2b7c30a1a000 rwxs fc:01 6565460 > /tmp/genode-1000/ds-125 (deleted) > 2b7c30a1a000-2b7c30baa000 rwxs fc:01 6565464 > /tmp/genode-1000/ds-126 (deleted) > 2b7c30baa000-2b7c30d3a000 rwxs fc:01

Re: Segfault when calling (Cancelable)Lock.unlock?

Hi Menno, On 08/30/2016 03:43 PM, Menno Valkema wrote: > Hi Everyone, > > I'm currently using a Nic_connection to exchange data data between > components on linux_x86. > > Before sending data from the Nic server I first check whether any data > can be freed. Even before the first packet is send

Re: Genode 16.05 Fault handler

ode-CheckpointRestore-SharedMemory/blob/93eaec436ce9b6d3b3a6663558bff9af925ae70f/run/fault_handler.run > > > Kind regards, > Denis > > On 30.08.2016 14:36, Sebastian Sumpf wrote: >> Hi Denis, >> >>> Signal_handler sigh = {env.ep(), *this, ::_handle_fault}; >> >

Re: porting python in tz_vmm demo

interpreter, while also handling the C-code side of some modules. Since our resources are very limited, I invite you to fill in this gap and will gladly answer questions if you chose to proceed in this direction. Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http:/

Re: Sending data to offline system doesn't work reliably

Hey Johanna, On 07/28/2016 06:20 PM, Johanna Steer wrote: > Hi Sebastian, > > i am using QEMU. Ok, then the thing has a bug. I might have a look into it, if I can find the time. Otherwise, you could try a different Qemu version. We use 2.3.0 over here and have used 1.5.0 before that, maybe

Re: Sending data to offline system doesn't work reliably

Hi Johanna, On 07/26/2016 10:58 AM, Johanna Steer wrote: > Hi, > > i am working on a toolchain monitoring the schedluing behavior of the > fiasco.oc kernel. The data is monitored through the trace service (quota > for trace is 2M). > It is then sent to an offline system through an active

Re: e1000 nic driver problem

log output? Console only is unfortunately not sufficient here. So, for now I would leave 'nic_drv' commented. Sebastian > On Fri, Jul 1, 2016 at 11:22 AM, Sebastian Sumpf > <sebastian.su...@genode-labs.com > <mailto:sebastian.su...@genode-labs.com>> wrote: > > Hi John,

Re: e1000 nic driver problem

k fine with an e1000 setting, for it is just a device model there that uses the Linux infrastructure. Regards, Sebasitan > On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf > <sebastian.su...@genode-labs.com > <mailto:sebastian.su...@genode-labs.com>> wrote: > > Hi John

Re: e1000 nic driver problem

Hi John, On 06/30/2016 03:58 PM, john stokes wrote: > qemu-system-i386: Unsupported NIC model: r8169 Qemu does not have r8169 support but only rtl8139. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dres

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

Hi, On 06/16/2016 10:06 PM, Guido Witmond wrote: > Hi All, > > > A small update on my experiments: > > - the site ran stable for about a week; > > - but it got stuck on some interrupt [1]; perhaps a resource leak > somewhere. Are there known leaks in libc, vfs, lwip? > > - it's not so slow

Re: netperf

: > On Tue, 28 Jan 2014 22:48:25 +0100 > Sebastian Sumpf <sebastian.su...@genode-labs.com> wrote: >> On 01/28/2014 10:22 PM, Julian Stecklina wrote: >>> On 01/28/2014 01:07 PM, Sebastian Sumpf wrote: >>>> Thanks for your tests! But I don't like the 65 MBit/s thing!

Re: Problem with the AHCI driver

fault in future versions and make it configurable, since you are not the first where it caused trouble. Cheers, Sebastian -- Sebastian Sumpf 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: build instructions from release notes for toolchain riscv fail (in my case)

Hi Menno, On 03/03/2016 03:13 PM, Menno Valkema wrote: > Hi Everyone, > > While playing around with the new riscv support, I followed the > instructions in the release notes in order to build a riscv toolchain > from scratch. (See section 'Steps to test Genode on RISC-V', url >

Re: Running demo on Virtualbox

ing? Qemu requires SDL for the display. Please add: QEMU_OPT += -sdl to your build.conf file that should fix the issue. > By the way, the `make prepare` for libports is only suggested in > etc/build.conf; it might be helpful to include it on the instructions > for

Re: Running demo on Virtualbox

Hi Paulo, On 02/04/2016 04:04 PM, Paulo wrote: > Hi all, > > I'm trying to get the genode demo to run on Virtualbox, from a windows > server 2012 box. > I've been to the (awesome) Sunday talk at FOSDEM and the prospect of > getting genode running on my personal laptop is really exciting, but I'd

Re: grsecurity R.I.P.

ine (Seoul or VirtualBox) or as a paravirtualized version on top of the Fiasco.OC kernel. If this is not sufficient, what is your approach? Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dres

Re: [Fiasco.OC][Genode] Creating an unstripped image file

fault) they are stripped. I am not sure about the Fiasco kernel itself though. Just in case, try a 'objdump -h ' on your program, if the output shows '.debug.*' sections, the binary is unstripped. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://g

Re: AHCI Driver

k with a > SATA disk that supports native command queuing (the HBA supports it)? I added experimental support for non-NCQ devices/HBAs: https://github.com/ssumpf/genode/commit/b2ba7ef2f474056a59e0311623c4053586a11ba1 If you want, give it a try, Sebastian -- Sebastian Sumpf Genode Labs

Re: AHCI Driver

re is no reason, the ATA commands should also be moved to this file. Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Ges

Re: Multiple PL2303 on PandaBoard

). Overwrite!​ What changes are required to manage multiple devices with the same type. If both PL2303s have the same product and vendor ids, it is currently unsupported, since right now we cannot distinguish them at the USB server side. Regards, Sebastian -- Sebastian Sumpf Genode Labs http

Re: Problems with building NetBSD rump filesystem

will see warnings right at the beginning of the build process. Cheers, Sebastian -- Sebastian Sumpf 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

Re: lsusb applet not found

and the interrupt of the USB host controller. The other way would be to write a Linux-stub driver that directly communicates with Genode's USB driver. Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz

Re: Genode as a mobile operating system

well documented, if at all (e.g., Snapdragon). With the only well documented SoC (Texas Instrument's OMAP) gone, smartphone platforms have become really really hard to deploy without having manufacturer support. Cheers, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http

Re: Trying out the hello tutorial

/build.conf' below the other 'REPOSITORIES' entries call: make run/hello from the build directory. Watch out for Linux packets that are not installed, like TCL or TCL's 'expect' package! I hope this helps, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org

Re: USB armory USB driver - porting

when porting Linux code, Sebastian -- Sebastian Sumpf 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

Re: AHCI still not working

On 05/31/2015 08:53 AM, Nobody III wrote: My mindset has basically been that it when it could take me hours to find a solution that someone else already knows, it seems a little pointless. As for Git specifically, it seems like a tool with many advanced features, most of which I'll never use.

Re: Port of base-hw to RISC-V / lowRISC ?

. Update Genode's cxx library 2. Get base-hw compiling 3. Add UART support and implement the platform dependent kernel part 4. Extent the dynamic linker 5. (look into libc) So, maybe there is something for you there. We aware of the efforts you described above. Cheers, Sebastian -- Sebastian Sumpf

Re: implementation of dummies methods

:-) Cheers, Sebastian -- Sebastian Sumpf 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

Re: TZ support without NDA

On 02/28/2015 02:12 PM, Madhu (Macaque Labs) wrote: On Sat, Feb 28, 2015 at 9:57 AM, Sebastian Sumpf sebastian.su...@genode-labs.com mailto:sebastian.su...@genode-labs.com wrote: On 02/28/2015 02:38 AM, Madhu (Macaque Labs) wrote: Who are the ARM cpu vendors who publish

Re: implementation of dummies methods

On 02/27/2015 09:08 PM, Mohammad Hamad wrote: Hi all, in libc/src/lib/libc there is Dummies.cc file which contains many methods. Actually i am trying to port ISAKMP which use most of them ( such as fork, getuid , socketpair, sendmsg and etc) . i was able to compile it but i face many no

Re: AHCI (cont)

-- Sebastian Sumpf 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 -- Dive

Re: AHCI (cont)

run script as sufficient information. Providing the run script enables us to examine the issue more directly and on certain accounts it can be turned into a regression test. Do you have serial output by now? If not, that should be the first thing to fix. Sebastian -- Sebastian Sumpf Genode

Re: status of iwlwifi driver

adapters like ASIX 88172/88179 and SMC95xx devices, but not for wifi as of now. By the way, what is the status of your USB-serial output? Still looking forward to seeing some, because IDE has to be re-enabled sooner or later. Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com

Re: ATAPI driver still not working

above, something is really messed up. In that case I would advice you that you send us the complete output of the test run, your exacts hardware specifications, and if possible a working run script. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org

Re: ATAPI driver still not working

and connect it to your developers box, if the box doesn't have an rs232 jack, an USB to R232 adapter will suffice. In order to see something you will need a serial program like minicom, picocom, or even socat on your development box. Sebastian On Nov 3, 2014 11:28 AM, Sebastian Sumpf

Re: L4Linux on x86_64

://www.kernkonzept.com and of course the l4hackers list http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers). Sebastian -- Sebastian Sumpf 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: AHCI Doesn't Work

Qemu 1.5.1), haven't tested base-fiasco lately, it might work without IPAPIC. On the other, base-nova should work. Sebastian Christian On October 31, 2014 7:54:27 AM CET, Sebastian Sumpf sebastian.su...@genode-labs.com wrote: Hi again, On 10/30/2014 11:11 PM, Nobody III wrote: I have tested

Re: Malloc / free ansd rump_fs -Slab-backend exhausted

next week and, since wrote the thing, he might be able to clear things up. Cheers, Sebastian -- Sebastian Sumpf 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

Re: Malloc / free ansd rump_fs -Slab-backend exhausted

and they have fixed some serious memory issues there (especially with the paging daemon). If you have a current Genode version, then there is something wrong with the memory accounting, which leads Rump to think it has got more memory than the Genode quota actually suggests. Sebastian -- Sebastian Sumpf

Re: PicoTCP

On 07/29/2014 10:14 AM, Daniele Lacamera wrote: Hello, I've stomped onto an old post on this list, considering a port for picoTCP. https://www.mail-archive.com/genode-main%40lists.sourceforge.net/msg01976.html If I understood correctly, the major concern was around the threading model.

Re: Using a real harddisk

::Backend() Backend blk_size 512 Afterwards the script stopped with Test execution timeout. with error 254) What could I have done wrong with the configuration of this scenario? Ok, I will try to reproduce the behavior. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode

Re: Using a real harddisk

on GitHub and push it into a branch there, or if it is just a run script just send it via email. I think I can try file access and AHCI first on friday (ATM a lot of work, I'm interested at genode because of part time study) Good luck! Sebastian -- Sebastian Sumpf Genode Labs http://www.genode

Re: dde-linux, musb driver code page faults in Routine:Main

Hi Bob, On 04/02/2014 06:15 PM, Bob Stewart wrote: On 04/02/2014 10:40 AM, Bob Stewart wrote: I'm porting the musb driver code from Linux, using the 14.02 release of Genode. Basically, I'm using the main.cc code in dde-linux/src/lib/usb to start the usb subsystem and usb port drivers. The

Re: dde-linux, musb driver code page faults in Routine:Main

On 04/04/2014 06:52 PM, Bob Stewart wrote: Thank you Sebastian for your very clear explanation. I'm moving forward now into the wonderfull world of platform device initialization. Good luck with that one .-) If it's an ARM-SOC, I would try to see if Uboot could do the work for me,

Re: netperf

/s, which is indeed pretty low. Right now the LXIP stack should at least do about 500 mbit/s in either direction. Please let me know what hardware platform you are using, so I can try to reproduce the behavior. Thanks, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http

Re: netperf

Hi again Anna, for the future, please sent your replies at the bottom not the top, like I am doing now .-) On 01/28/2014 11:58 AM, Анна Будкина wrote: I'm measuring throughput between two hosts. I use genode running on fiasco.OC on one machine and monolithic Linux on another machine. There's

Re: netperf

On 01/28/2014 01:20 PM, Christian Helmuth wrote: Sebastian, On Tue, Jan 28, 2014 at 01:07:19PM +0100, Sebastian Sumpf wrote: Thanks for your tests! But I don't like the 65 MBit/s thing! What is going on? Is this RX or TX? Complete netperf output follows

Re: netperf

Hi Vasily, On 01/28/2014 12:58 PM, Sartakov A. Vasily wrote: Hello. If you can afford it and if you're running on x86, please try the Nova version of Genode and let me know about the outcome, performance-wise of course. I appreciate any hints why the ACPI-driver is not working (other then

Re: netperf

On 01/28/2014 01:49 PM, Анна Будкина wrote: 2014-01-28 Sebastian Sumpf sebastian.su...@genode-labs.com mailto:sebastian.su...@genode-labs.com On 01/28/2014 01:20 PM, Christian Helmuth wrote: Sebastian, On Tue, Jan 28, 2014 at 01:07:19PM +0100, Sebastian Sumpf wrote

Re: Compiling Genode+Fiasco.OC for ARM

-- Sebastian Sumpf 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 commit 300faf9de768e81fb319d05dfef0e8666c083e35 Author: Sebastian Sumpf sebastian.su...@genode

Re: Genode Fiasco.OC kernel changes

Hi Daniel, On 07/17/2013 11:49 PM, Daniel Waddington wrote: On 07/17/2013 01:05 PM, Sebastian Sumpf wrote: Hi Daniel, On 07/17/2013 09:41 PM, Daniel Waddington wrote: On 07/17/2013 12:13 PM, Sebastian Sumpf wrote: Hi, Can someone point me to the relevant Fiasco.OC kernel changes made

Re: Genode Fiasco.OC kernel changes

. I'd like to see if I can get r56 running on Genode (to help me fix other issues). I am already at it, I can push a preliminary branch of r56 tomorrow, if you like, so you can check if the error still occurs. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com

Re: Genode Fiasco.OC kernel changes

Hi Daniel, On 07/17/2013 09:41 PM, Daniel Waddington wrote: On 07/17/2013 12:13 PM, Sebastian Sumpf wrote: Hi, Can someone point me to the relevant Fiasco.OC kernel changes made by Genode that might prevent the following error... Could not assign parent interface to new PD unknown

Re: need help with hello tutorial

, to see how the system is configured for the hello example. Regards, Sebastian -- Sebastian Sumpf 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

Re: ahci_drv and part_blk on real hard disk

for the first primary partition: mknod /dev/sda1 b 254 1 You should now be able to mount sda1. Regards, Sebastian -- Sebastian Sumpf 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: ahci_drv and part_blk on real hard disk

L4Linux access the AHCI driver directly. What part_blk does is, it exposes a 'single' partition as a block device to L4Linux and on a partition there are no other partitions. It seems that is not what you want to achieve. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode

Re: part_blk on fiasco.oc

Hi, On 04/27/2013 10:51 AM, yuqing wang wrote: Hi, I used the foc_x86_32 platform to try part_blk run script ,there was a error. [init - atapi_drv] 5 and below: yes enabled: yes [init - atapi_drv] PRD base at 002f9000 (physical) at 2000 (virtual) [init - atapi_drv] Device initialized!

Re: static linking libc.

Hi Daniel, On 03/28/2013 08:14 AM, Norman Feske wrote: I have a problem with all my threads in a multi-threaded program dead-locking on some (cancelable) lock in ld.lib.so. At this point it I wonder if this problem may be related to an issue that was recently fixed:

Re: Update base-foc to use rev. 47

on PandaBoard/OMAP4. -- Sebastian Sumpf 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

Re: [genode] Multiple sessions from usb_drv

. Multiplexing is not necessary, since the NIC device is associated to the session. When a device interrupt occurs, the device will report it to the session and the session in turn to the client. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode

Re: MSI support in Genode

the course of this year. But that heavily depends on our working schedule, which happened to change quite often in the past. So I cannot tell when, but MSI support will be implemented eventually. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org

Re: about platform_execute in usb_drv

call trace, such a thread is scheduled using setjmp/longjmp calls (see: dde_linux/src/drivers/usb/routine.h). Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr

Re: How can you solve Packet Overrun problem in the part_blk Example.

. The 'Block::Connection' takes the 'tx_buf_size' as second argument. To set the backing-store to one MB, you would have to initialize the connection like this: 'static Block::Connection _blk(_block_alloc, 1024 * 1024);' Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com

Re: Issue in lwip

. Unfortunately I cannot investigate this further right now. Greetings, Sebastian -- Sebastian Sumpf 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 #0 std

Re: Storage device considerations

this? Not in the immediate future. Greetings, Sebastian -- Sebastian Sumpf 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

Re: Illegal session request to service CPU

Hi Markus, On 08/17/2012 10:40 AM, Markus Partheymueller wrote: The parent-provides entry and the service name=CPU in provides were not present in my last setup, but didn't change anything. Am I missing something or is there a problem with the most recent changes regarding the CPU session

Re: USB HID driver fails to recognize input devices

Hi Markus, On 07/13/2012 01:07 PM, Sebastian Sumpf wrote I will test this however, when I get my hands on a hardware box. Until then you're more than welcome to find out what is going on. I've tested the USB driver on x86 as promised and fixed some issues that appeared on real hardware

Re: OMAP4 framebuffer

Hi Ivan, On 07/13/2012 08:11 AM, Ivan Loskutov wrote: Hello. I try to extend OMAP4 frame-buffer driver for using with LCD. Your HDMI example does not work. I try to read OMAP DSS registers and receive strange values, for example: value DSS_REVISION is 0x0214, other DSS and DISPC

Re: USB HID driver fails to recognize input devices

On 07/12/2012 03:21 PM, Markus Partheymueller wrote: DEBUG_IRQ revealed no real news for me, except for the fact that IRQ 10 was discovered, but apparently no interrupt came in, handle() was not called once. So I added acpi_drv to my setup, resulting in a different log. As you suggested, I

Re: OMAP4 framebuffer

On 07/13/2012 01:07 PM, Ivan Loskutov wrote: Thanks. With your u-boot HDMI is work and DSS registers read correct. Nice! -- Live Security Virtual Conference Exclusive live event will cover all the ways today's security

Re: USB HID driver fails to recognize input devices

On 07/13/2012 03:24 PM, Alexander Boettcher wrote: @Alexander Boettcher: Is there anything to consider regarding I/O memory when using Nova with enabled IOMMU? A quick lock into the specification of the NOVA kernel shows, that assign_gsi returns the msi vector to be programmed (if the

Re: Building Genode for Gumstix Overo platform

Hi, On 02/16/2012 06:40 PM, Michael Grunditz wrote: On 02/16/2012 06:08 PM, Norman Feske wrote: Hello again, [init - test-libc] C++ runtime: int [init - test-libc] void* abort(): abort called I guess I get into c++ runtime, but what does int mean in this context ? When I start test-libc

Re: New version of LDSO

Hi Sam, the output looks good and the test succeeded . The test mostly targets C++'s exception support, for example the Exception during RPC tries to open a Rom_connection to a file which is not available, therefore an exception is thrown, when it reaches the test program everything is fine.

Re: LDSO Question

Hi Sam, On 03/18/2011 09:14 PM, Sam Kerr wrote: Hi Sebastian, Thanks for the suggestions. You pointing out several mistakes will be help me out in the future. However, I am not able to build the LDSO application using 'make run/ldso'. Instead, it says : Error: No run script for

Re: Don't know where to extract pre-compiled tool chain(genode-10.08.tar.bz2)

Hi, please apply the 'syscall_pic.patch' located under 'base-okl4/patches/' to the OKL4 kernel and have a look at the 'README' file for an explanation. Greetings, Sebastian On 09/16/2010 06:51 PM, Janith Widarshana wrote: Thanx a lot Christian, I could get rid of that problem and now i've

Re: how to gdb genode apps

Hello again, here is a small HOWTO for debugging Genode apps on Linux: * The first thing to do is to interrupt Genode at a certain point as you cannot start core with gdb. So, if you want to debug an application you have to call 'wait_for_continue' from within your code. Somewhere in your