L4Linux 2.4 IRQ problem

Hi all! I'm trying to get L4Linux 2.4 running. It starts to boot, but then it runs into trouble attaching to interrupts: ... l4lx_irq_dev_startup: Starting IRQ thread for IRQ 5. l4lx| l4lx_thread_create: Created thread 0f.11 (IRQ5) l4lx_irq_dev_startup:

Re: 答复: ×a·￠ : segment fault for fiasco-ux

Am Donnerstag Dezember 21 2006 12:56 schrieb halo duan: Hi! [...] following is my screen copy of fisco-ux. it's freezed there. I can not use CTRL-C to bring up the jdb. [...] Calibrating timer loop... done. ^^ freezed to above Are you using a System with a recent version of GLibC

Re: and now linking problems

Am Mittwoch März 7 2007 schrieb Adam Lackorzynski: Hi, Hi! On Thu Mar 08, 2007 at 00:26:55 +0300, Igor Shmukler wrote: I have another problem. This time it's linking issue. I was compiling with gcc 3.3. Please advise: I just tried to reproduce this, with no luck. Linking always

Re: Automated regression test suite for L4

Am Mittwoch April 18 2007 schrieb Bjoern Doebel: Hi, Hi all! Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite? These would be great tools to have available for people who are

Re: ipcmon error

On Thursday 13 September 2007 16:40:47 Davide Fasoli wrote: Hi Davide! If I recompiled l4/pkg/ I received in output: /home/david/tudos/l4/pkg/crtx/lib/src-c++/libssp-fake.c:30: error: redefinition of ‘__stack_chk_fail_local’ /home/david/tudos/l4/pkg/crtx/lib/src-c++/libssp-fake.c:14: error:

Re: stpm

Am Donnerstag April 3 2008 schrieb ahmad kamal: Hi Ahmad, if stpm server able to call tpmemulator, so far as i know it can only call physical TPM chip. There is a STPM backend that can talk to a TPM emulator. However, this backend assumes that STPM is running on top Fiasco-UX and talks to

Re: stpm

. In this case, you do not need ux_con (and con-ux won't work of course). Regards, Carsten - Original Message From: Carsten Weinhold [EMAIL PROTECTED] To: l4-hackers@os.inf.tu-dresden.de Cc: ahmad kamal [EMAIL PROTECTED] Sent: Thursday, April 3, 2008 6:21:47 PM Subject: Re: stpm

Re: stpm

about later releases). Carsten - Original Message From: Carsten Weinhold [EMAIL PROTECTED] To: ahmad kamal [EMAIL PROTECTED] Cc: l4-hackers@os.inf.tu-dresden.de Sent: Friday, April 4, 2008 4:34:58 PM Subject: Re: stpm Am Freitag April 4 2008 schrieb ahmad kamal: Hi! thanks

Re: STPM package functionality

Am 06.03.2009 um 17:01 schrieb Alexander Valitov: Hi, Hi Alexander! I've got hardware with TPM on board (Infineon SLB9635TT1.2). I've just discovered STPM package and have several questions about it: 1. What kind of functionality is provided by the package? Is it just driver for TPM and

Re: IPC problem with dice-3.3.0

Am 18.03.2009 um 17:10 schrieb Marcel Selhorst: Hi l4-hackers, Hi Marcel, I am currently having some issues with dice-3.3: First of all, the dice-generated code differs in header- and client file, meaning that the header defines functions with int DICE_CV somefunction() while the

Re: IPC problem with dice-3.3.0

Am 20.03.2009 um 00:58 schrieb Marcel Selhorst: Hi Carsten, Hi! [...] Now the IPCs are working, but I identified another problem, that I am not able to solve: I have the following interface: int register([in, size_is(name_len), max_is(MAX_NAME_LEN)] char *name, [in]

Re: IPC problem with dice-3.3.0

Am 26.03.2009 um 12:33 schrieb Marcel Selhorst: Hi Carsten, Hello Marcel, [...] The error message you get might also indicate a stack overrun (maybe the generated DICE code uses too much stack ... ?). I think it is indeed a stack overrun. I have implemented CORBA_alloc() and CORBA_free()

Re: Fortran Compiler Missing

Am 22.02.2014 um 04:55 schrieb Irvanda Kurniadi irvand...@gmail.com: Hi, Hi Irvanda, I have some problem in building some package. It is a little bit weird because the packages just compiled fine in my office, but when I tried to build the same package on the same system in my laptop