gmane.comp.micro-kernel.l4.l4ka.general

1959 articles on record, showing the most recent 50.

Re: [FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Sun, 04 Dec 2022 11:42:37 +0200
Razvan Deaconescu <[email protected]> • #1961
Re: [FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Fri, 2 Dec 2022 23:55:17 -0800
Dan Koren <[email protected]> • #1960
[FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom
Fri, 02 Dec 2022 09:54:06 +0200
Razvan Deaconescu <[email protected]> • #1959
Re: IoL4 dead?
Thu, 22 Feb 2018 14:38:46 +0100
John Lunney <[email protected]> • #1958
Re: Pistachio IPC performance on Bare Metal
Wed, 10 Dec 2014 00:25:02 +0000 (GMT)
matthew scaperoth <[email protected]> • #1957
Re: Pistachio IPC performance on Bare Metal
Tue, 23 Sep 2014 15:07:13 +0200
Sergei Kostov <[email protected]> • #1956
Re: Pistachio IPC performance on Bare Metal
Tue, 23 Sep 2014 13:06:56 +0200
Jens Kehne <[email protected]> • #1955
Pistachio IPC performance on Bare Metal
Fri, 19 Sep 2014 19:03:07 -0400
matthew scaperoth <[email protected]> • #1954
Boot Pistachio from usb
Wed, 13 Aug 2014 11:48:13 -0400
Yuxin Ren <[email protected]> • #1953
seL4 is free!
Tue, 29 Jul 2014 15:39:41 +1000
Gernot Heiser <[email protected]> • #1952
seL4 to go open-source on 29 July
Thu, 5 Jun 2014 13:53:39 +1000
Gernot Heiser <[email protected]> • #1951
L4Ka does not boot if built by gcc 4.8
Sun, 22 Dec 2013 17:00:14 +0100
BERTRAND Joël <[email protected]> • #1950
[Patch] Re: L4 reboots before trying to execute roottask
Mon, 24 Jun 2013 15:47:08 +0200
BERTRAND Joël <[email protected]> • #1949
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sun, 23 Jun 2013 12:56:24 +0200
BERTRAND Joël <[email protected]> • #1948
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sun, 23 Jun 2013 11:56:43 +0200
BERTRAND Joël <[email protected]> • #1947
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 21:38:36 +0200
BERTRAND Joël <[email protected]> • #1946
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 19:54:19 +0200
BERTRAND Joël <[email protected]> • #1945
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 14:38:10 +0200
BERTRAND Joël <[email protected]> • #1944
Re: L4Ka. Regression with 4.7 and 4.8 ?
Sat, 22 Jun 2013 14:32:00 +0200
BERTRAND Joël <[email protected]> • #1943
Re: L4 reboots before trying to execute roottask
Sun, 16 Jun 2013 16:26:49 +0200
BERTRAND Joël <[email protected]> • #1942
L4 reboots before trying to execute roottask
Sun, 16 Jun 2013 15:40:52 +0200
BERTRAND Joël <[email protected]> • #1941
[Pistachio]Linking error
Sun, 14 Apr 2013 22:39:38 +0700
Alexander Samilovskih <[email protected]> • #1940
Re: Sigma0 and L4 Core
Sat, 16 Mar 2013 01:13:47 +0100
"C. P. Ghost" <[email protected]> • #1939
Sigma0 and L4 Core
Thu, 14 Mar 2013 19:16:58 -0500
Taylor Bioniks <[email protected]> • #1938
Check out my profile on LinkedIn
Mon, 11 Feb 2013 09:30:13 +0000 (UTC)
Mohamad Rezaei <[email protected]> • #1937
Re:
Sat, 9 Feb 2013 02:32:51 -0800 (PST)
Easwaran <[email protected]> • #1936
Re:hello!
Tue, 29 Jan 2013 17:56:40 -0800 (PST)
Easwaran <[email protected]> • #1935
RE: L4 Pistachio Build Environment
Mon, 11 Jun 2012 07:48:07 +0000
Jan Stoess <[email protected]> • #1934
L4 Pistachio Build Environment
Mon, 28 May 2012 11:36:03 -0400
Ashford Nichols <[email protected]> • #1933
RE: Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 17:15:28 +0900
"Chulmin Kim" <[email protected]> • #1932
RE: Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 07:43:29 +0000
Jan Stoess <[email protected]> • #1931
Is it possible to install L4 on Xen as a guest?
Thu, 10 May 2012 11:17:23 +0900
"Chulmin Kim" <[email protected]> • #1930
Re: Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 15:39:13 +0200
Håvard Ostnes <[email protected]> • #1929
Re: Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 08:54:25 -0400
Peter Jin <[email protected]> • #1928
Iterative calculations doesn't work - What could be the problem?
Tue, 24 Apr 2012 11:50:38 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1927
RE: Can't set total quantum with L4_Set_Timeslice()
Tue, 24 Apr 2012 07:52:22 +0000
Jan Stoess <[email protected]> • #1926
Can't set total quantum with L4_Set_Timeslice()
Mon, 23 Apr 2012 17:09:28 +0200
Farid Hajji <[email protected]> • #1925
RE: C Library with L4 - Diet Libc library?
Mon, 23 Apr 2012 08:36:42 +0000
Jan Stoess <[email protected]> • #1924
C Library with L4 - Diet Libc library?
Wed, 18 Apr 2012 13:11:42 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1923
Re: Hello World - No Output
Thu, 16 Feb 2012 16:34:22 +0200
Semion Prihodko <[email protected]> • #1921
Hello World - No Output
Thu, 16 Feb 2012 12:05:15 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1920
RE: L4La-Pistachio: using idl4 for amd64
Fri, 10 Feb 2012 07:54:27 +0000
Jan Stoess <[email protected]> • #1919
Fwd: cannot boot the compiled pistachio iso
Fri, 10 Feb 2012 13:19:13 +0530
rukshan rajapaksha <[email protected]> • #1918
L4La-Pistachio: using idl4 for amd64
Thu, 9 Feb 2012 23:00:34 +0200
Semion Prihodko <[email protected]> • #1917
16MB memory limit?
Wed, 8 Feb 2012 18:17:45 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1916
Re: How to create a working build environment
Wed, 1 Feb 2012 14:46:21 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1915
RE: How to create a working build environment
Mon, 30 Jan 2012 20:05:09 +0000
Jan Stoess <[email protected]> • #1913
Re: Oops! No BIOS memory Map
Mon, 30 Jan 2012 20:57:46 +0100
Jens Kehne <[email protected]> • #1912
Oops! No BIOS memory Map
Mon, 30 Jan 2012 18:24:47 +0000 (UTC)
Håvard Ostnes <[email protected]> • #1911
How to create a working build environment
Fri, 27 Jan 2012 12:25:55 +0100
Håvard Ostnes <[email protected]> • #1910