Processed: Re: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 13 Aug 2013 00:30:05 +0000
Message-id: <[🔎] handler.s.B719547.137635368310539.transcript@bugs.debian.org>
References: <[🔎] 1376353671.14079.71.camel@deadeye.wl.decadent.org.uk> <[🔎] 1376352326.602728106@f260.i.mail.ru>

Processing control commands:

> tag -1 moreinfo
Bug #719547 [src:linux] linux: provide a PREEMPT_RT kernel image for non-x86 architectures
Added tag(s) moreinfo.

-- 
719547: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719547
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
  - From: Bob Bib <bobbibmpn@mail.ru>

Prev by Date: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
Next by Date: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
Previous by thread: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
Next by thread: Bug#719547: linux: provide a PREEMPT_RT kernel image for non-x86 architectures
Index(es):
- Date
- Thread