Re: New Debian Kernel Packages

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 1-Aug-13, at 6:52 PM, James Bottomley wrote:

On Thu, 2013-08-01 at 18:39 -0400, John David Anglin wrote:
On 1-Aug-13, at 6:20 PM, Helge Deller wrote:

Hi Dave,

On 07/30/2013 12:46 AM, John David Anglin wrote:
The following kernel packages are now in the parisc-linux.org
archive:

linux-image-3.10-1-parisc-smp_3.10.3-1_hppa.deb
linux-image-3.10-1-parisc64-smp_3.10.3-1_hppa.deb
linux-image-3.10-1-parisc64_3.10.3-1_hppa.deb
linux-image-3.10-1-parisc_3.10.3-1_hppa.deb

That's fantastic!
This brings us one big step further to being able to build a real
debian-unstable-installer boot CD.

I'm still hoping the C8000 patches I pushed for inclusion into 3.11
will then
show up in stable 3.10 series soon as well. If that happens we will
have a kernel
which should boot on all machines - including the c8000.


I have bootstrap tested the linux-image-3.10-1-parisc64-
smp_3.10.3-1_hppa.deb package.  We'll
have to see if 3.10 will be the Debian choice for the next release.

As I mentioned in private, I have found that flush_cache_all() is the
principal problem causing random
segmentation faults on SMP systems.

That would tend to indicate the architectural flush code is wrong: it
isn't flushing all as it should be.


After looking at this, I think there is an irq problem. It looks like we loose IPI interrupts on occasion, or there is a sequencing issue in processing them. In particular, it would be bad if we simultaneously tried to purge both theTLB
and cache at the same time.  However, this isn't the whole answer.

Dave
--
John David Anglin	dave.anglin@xxxxxxxx



--
To unsubscribe from this list: send the line "unsubscribe linux-parisc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Linux SoC]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux