gmane.comp.micro-kernel.l4.devel archive
3571 archived articles, newest first (page 15 of 36). Latest articles →
Debugging Fiasco OC + L4Re + L4Linux together
Mon, 8 Jun 2015 11:51:22 +0200Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Mon, 8 Jun 2015 10:43:11 +0200Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Fri, 5 Jun 2015 16:31:48 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Thu, 04 Jun 2015 23:56:15 -0400Thread monitoring
Wed, 3 Jun 2015 15:34:02 +0000Re: Using a second Ethernet connector in L4Linux
Wed, 03 Jun 2015 09:52:47 +0200Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Wed, 03 Jun 2015 09:46:24 +0200Re: Increase IPC-Stream size
Tue, 02 Jun 2015 12:04:48 +0200Re: Cann't access git://git.l4android.org/build_script.git
Tue, 02 Jun 2015 11:08:23 +0200Cann't access git://git.l4android.org/build_script.git
Tue, 2 Jun 2015 10:23:47 +0800 (CST)Re: Implementing a few real time scheduling algorithms on Fiasco.OC
Sat, 30 May 2015 07:21:43 +0200Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Fri, 29 May 2015 16:44:49 +0200Re: Implementing a few real time scheduling algorithms on Fiasco.OC
Fri, 29 May 2015 11:27:32 +0200Implementing a few real time scheduling algorithms on Fiasco.OC
Thu, 28 May 2015 23:35:02 +0000RE: Booting error of L4Linux enabled SMP surpport
Fri, 29 May 2015 07:20:29 +0000Re: Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Fri, 29 May 2015 08:57:12 +0200Re: Booting error of L4Linux enabled SMP surpport
Fri, 29 May 2015 08:54:41 +0200Re: Increase IPC-Stream size
Thu, 28 May 2015 18:24:04 +0200Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Thu, 28 May 2015 12:49:42 +0200Using a second Ethernet connector in L4Linux
Thu, 28 May 2015 12:42:03 +0200RE: Booting error of L4Linux enabled SMP surpport
Thu, 28 May 2015 09:36:31 +0000Re: Boot L4Linux Error
Thu, 28 May 2015 08:49:30 +0200Re: Increase IPC-Stream size
Thu, 28 May 2015 08:43:01 +0200Boot L4Linux Error
Wed, 27 May 2015 10:41:56 +0800 (CST)Re: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Thu, 28 May 2015 08:23:38 +0200Re: Increase IPC-Stream size
Wed, 27 May 2015 22:35:41 +0200Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD
Wed, 27 May 2015 18:43:43 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 26 May 2015 18:53:13 -0400Re: How to write a driver for ARM platform
Wed, 27 May 2015 00:40:25 +0200Re: Booting error of L4Linux enabled SMP surpport
Wed, 27 May 2015 00:35:14 +0200Re: Booting error in L4android for Exynos 5250.
Wed, 27 May 2015 00:30:34 +0200Re: Booting error in L4android for Exynos 5250.
Wed, 27 May 2015 00:19:27 +0200Re: Increase IPC-Stream size
Wed, 27 May 2015 00:11:57 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 26 May 2015 18:05:36 -0400Re: Kobject_h::invoke
Wed, 27 May 2015 00:01:36 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 26 May 2015 23:52:55 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 26 May 2015 23:41:10 +0200Booting error of L4Linux enabled SMP surpport
Fri, 22 May 2015 07:49:14 +0000Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Fri, 22 May 2015 02:03:24 -0400Kobject_h::invoke
Thu, 21 May 2015 13:57:18 +0800Re: Booting error in L4android for Exynos 5250.
Thu, 21 May 2015 03:30:30 +0800Re: Increase IPC-Stream size
Wed, 20 May 2015 11:40:27 +0200Re: How to write a driver for ARM platform
Wed, 20 May 2015 08:14:58 +0200Re: Booting error in L4android for Exynos 5250.
Wed, 20 May 2015 11:08:00 +0800Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 19 May 2015 15:23:33 -0400How to write a driver for ARM platform
Tue, 19 May 2015 12:00:48 -0700Re: Does Fiasco support floating point?
Tue, 19 May 2015 08:12:10 +0200Re: Does Fiasco support floating point?
Mon, 18 May 2015 23:36:50 +0200Does Fiasco support floating point?
Mon, 18 May 2015 15:11:41 -0400Re: Fiasco.OC-UX and recent Linux kernels
Mon, 18 May 2015 00:47:43 +0200Re: l4-hackers Digest, Vol 145, Issue 7
Mon, 18 May 2015 00:35:21 +0200Re: Booting error in L4android for Exynos 5250.
Mon, 18 May 2015 00:04:56 +0200Re: Question about ext2 in Fiasco/L4re
Sun, 17 May 2015 23:35:30 +0200Re: Question about RCU subsystem in Fiasco kernel.
Sun, 17 May 2015 23:18:57 +0200Re: question about file mapping
Sun, 17 May 2015 23:13:47 +0200Re: Increase IPC-Stream size
Sun, 17 May 2015 23:01:29 +0200Re: anything wrong when call Thread::do_ipc?
Sun, 17 May 2015 22:50:16 +0200Re: the Thread::do_ipc's parameter
Sun, 17 May 2015 22:46:48 +0200Re: Utcb in syscall
Sun, 17 May 2015 22:44:12 +0200Re: Fiasco.OC-UX and recent Linux kernels
Sun, 17 May 2015 22:41:58 +0200Re: l4-hackers Digest, Vol 145, Issue 7
Fri, 15 May 2015 13:12:52 -0400Booting error in L4android for Exynos 5250.
Wed, 13 May 2015 22:23:18 +0800Question about ext2 in Fiasco/L4re
Wed, 13 May 2015 17:42:29 +0800Question about RCU subsystem in Fiasco kernel.
Wed, 13 May 2015 16:19:43 +0800question about file mapping
Wed, 13 May 2015 14:24:35 +0800Re: Increase IPC-Stream size
Tue, 12 May 2015 13:30:21 +0200anything wrong when call Thread::do_ipc?
Tue, 12 May 2015 14:46:55 +0800the Thread::do_ipc's parameter
Tue, 12 May 2015 11:08:21 +0800Utcb in syscall
Tue, 12 May 2015 11:01:13 +0800Fiasco.OC-UX and recent Linux kernels
Mon, 11 May 2015 11:38:42 +0200Re: Fiasco & L4 boot performance
Mon, 11 May 2015 00:41:23 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Mon, 11 May 2015 00:18:22 +0200Re: Increase IPC-Stream size
Sun, 10 May 2015 23:07:23 +0200Re: Using a second UART to control a serial device
Sun, 10 May 2015 22:48:47 +0200Re: Using a second UART to control a serial device
Sun, 10 May 2015 22:42:55 +0200Re: about Ram_quota
Fri, 8 May 2015 11:22:30 -0400Re: Static_object::construct
Fri, 08 May 2015 08:59:14 +0200Static_object::construct
Fri, 8 May 2015 14:10:18 +0800about Ram_quota
Fri, 8 May 2015 12:04:13 +0800Fiasco & L4 boot performance
Wed, 06 May 2015 09:39:48 +0300Re: Using a second UART to control a serial device
Tue, 5 May 2015 10:36:59 -0400Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Tue, 05 May 2015 01:28:46 -0400Re: Increase IPC-Stream size
Mon, 04 May 2015 19:23:01 +0200Re: Using a second UART to control a serial device
Mon, 04 May 2015 10:05:39 +0200Re: Using a second UART to control a serial device
Mon, 04 May 2015 09:56:26 +0200Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Mon, 4 May 2015 00:24:28 +0200Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB
Mon, 4 May 2015 00:20:07 +0200Re: Using a second UART to control a serial device
Sun, 3 May 2015 23:48:34 +0200Re: context::regs
Sun, 3 May 2015 23:29:43 +0200Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Sat, 02 May 2015 15:12:24 -0400Re: Experimenting the vm-tz example on the Freescale i.mx6 SDB
Wed, 29 Apr 2015 14:33:58 +0200Re: Using a second UART to control a serial device
Wed, 29 Apr 2015 13:35:29 +0200context::regs
Wed, 29 Apr 2015 14:20:11 +0800Re: the syscall stack frame and Context::regs method
Tue, 28 Apr 2015 22:57:56 +0200Re: about sysenter
Tue, 28 Apr 2015 22:54:22 +0200Re: the first instruction in entry_sys_fast_ipc_c
Tue, 28 Apr 2015 22:43:48 +0200Re: How to solve the problem about multiple definition of clk_enable?
Tue, 28 Apr 2015 22:30:03 +0200Re: How L4Linux Linked the header file?
Tue, 28 Apr 2015 22:28:45 +0200Re: Using a second UART to control a serial device
Tue, 28 Apr 2015 22:21:07 +0200the syscall stack frame and Context::regs method
Tue, 28 Apr 2015 15:42:14 +0800
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.