Fiasco.OC development version available on github

development version. We plan to release development versions of the build system and selected userspace components in the weeks ahead. So, let us know what you think. Cheers, Matthias. [1] https://github.com/kernkonzept/fiasco [2] https://l4re.org/download.html -- Matthias Lange, matthias.la

Re: Microkernel and alumni meetup

Hi, the next microkernel meetup will take place on Wednesday 21st at Shamrock Dresden, Wilsdruffer Str. 20. I have reserved a table starting from 7p.m. I am looking forward to see you there. Best, Matthias. > On 15. Jan 2018, at 09:19, Matthias Lange > wrote: > > Dear fr

Microkernel and alumni meetup

up/ and add your preferred day. Regards, Matthias. -- Matthias Lange, matthias.la...@kernkonzept.com, +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Micha

Re: Side-channel attacks (Meltdown, Spectre)

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: > > > > NF> In contrast to monolithic kernels, a microkernel like base-hw, NOVA, > > NF> or seL4 does not deal with any user-level content like cryp

Re: Error for l4android with Genode 14.11

e, >> sponsored by Intel and developed in partnership with Slashdot Media, is your >> hub for all things parallel software development, from weekly thought >> leadership blogs to news, videos, case studies, tutorials and more. Take a >> look and join t

Re: Detect Monitor Resolution

; On Thu, Nov 27, 2014 at 8:58 AM, Matthias Lange > mailto:matthias.la...@kernkonzept.com>> > wrote: > > Hi, > > On 11/26/2014 09:49 PM, Nobody III wrote: > > A common feature in modern operating systems is automatic > detection of a >

Re: Detect Monitor Resolution

s) as you will need drivers for the southbridge and I2C. On ARM platforms you will most likely need GPIO and I2C drivers. Best, Matthias. -- Matthias Lange, matthias.la...@kernkonzept.com, +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführe

Re: How can I use a specific ram address?

On Tue, Mar 18, 2014 at 03:54:59PM +0100, Christian Helmuth wrote: > Hello, > > On Tue, Mar 18, 2014 at 09:22:20PM +0800, 吴若凡 wrote: > > I am now facing a problem that I want to use a specific ram address [0x0, > > 0x200), because there is a hareware on board using it, I have to write > > data

Re: can not get ipc error

Hi, On Thu, Sep 26, 2013 at 12:30:28AM +0800, yuqing wang wrote: > I used launchpad to start a hello_client and hello_server.I closed > hello_server and expected the call from hello_client could cause an ipc > error ,because the target is not exist . > [...] > if(ipc_error==L4_IPC_ENOT_EXIS

Re: 64bit VMM support on Fiasco.OC

supports enabling vcpu mode for a thread (I think) and also > getting native fiasco capabilities etc. Very good! Best, Matthias. > > Daniel > > On Tue, 2013-05-14 at 22:07 +0200, Matthias Lange wrote: >> Hi, >> >> On 14.05.2013, at 17:38, Daniel Waddington wrot

Re: 64bit VMM support on Fiasco.OC

Hi, On 14.05.2013, at 17:38, Daniel Waddington wrote: > My current understanding is that L4Linux is x86_32 only. I am wondering > what the best route to Linux virtualization on Fiasco.OC x86_64 is. Has > anyone looked at porting the Karma VMM to Genode or looking at L4Linux > 64bit support. I c

Re: how to pass event to l4linux

on l4fb.touchscreen which results in the fb driver implicitly converting BTN_LEFT events into BTN_TOUCH. However, the best way is, if the (native) input driver conforms to Linux's multitouch protocol. Best, Matthias. -- Dipl.-Inf. Matthias Lange Security in Telecommunications TU Berlin /

Re: Two ways on running Android on top of Genode

p.sf.net/sfu/ephox-dev2dev > > > > ___ > Genode-main mailing list > Genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main -- Dipl.-Inf. Matthias Lange Security in Telecommunications TU Berlin /