Re: Microkernel and alumni meetup

2018-02-11 Thread Matthias Lange
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:18, Matthias Lange  
> wrote:
> 
> Dear friends of the microkernel,
> 
> it's about time for another microkernel and alumni meetup to catch up on all
> the developments of the last 6 months. Let's meet for a beer or two.
> 
> To find a date that fits the most people please visit
> 
>  https://dudle.inf.tu-dresden.de/Microkernel_Meetup/
> 
> 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. Michael Hohmuth
> 



signature.asc
Description: Message signed with OpenPGP
___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


Re: Microkernel and alumni meetup

2018-02-09 Thread Tobias Stumpf

Hi Matthias,

when and where is the meeting?

Tobias


On 15/01/18 09:18, Matthias Lange wrote:

Dear friends of the microkernel,

it's about time for another microkernel and alumni meetup to catch up on all
the developments of the last 6 months. Let's meet for a beer or two.

To find a date that fits the most people please visit

   https://dudle.inf.tu-dresden.de/Microkernel_Meetup/

and add your preferred day.

Regards,
   Matthias.





___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers