Processed: Re: Bug#861209: Only 64 cores available on arm64

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#861209: Only 64 cores available on arm64
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 25 Apr 2017 22:42:03 +0000
Message-id: <[🔎] handler.s.B861209.149315999327613.transcript@bugs.debian.org>
References: <[🔎] 1493159983.2474.4.camel@decadent.org.uk> <[🔎] 149315773908.9144.5387080642331546741.reportbug@test-ipxe.retout.co.uk>

Processing control commands:

> tag -1 pending
Bug #861209 [src:linux] Only 64 cores available on arm64
Added tag(s) pending.

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

Reply to:

References:
- Bug#861209: Only 64 cores available on arm64
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#861209: Only 64 cores available on arm64
  - From: Tim Retout <diocles@debian.org>

Prev by Date: Bug#861209: Only 64 cores available on arm64
Next by Date: Processed: severity of 788290 is important, tagging 788290
Previous by thread: Bug#861209: Only 64 cores available on arm64
Next by thread: Processed: severity of 788290 is important, tagging 788290
Index(es):
- Date
- Thread