From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <caea15dc2561ec86feb0129055722299@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Fri, 19 Oct 2012 17:03:05 +0100
In-Reply-To: <e9e9c928333cf02147b7554be7c4005a@ladd.quanstro.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] sheevaplug SD card driver
Topicbox-Message-UUID: c10e0faa-ead7-11e9-9d60-3106f5b1d025

> kw-style caches (16-byte lines)

mem.h says it's 32.  But yeah, it's not much.

> i had to look twice to verify i understood the pointer orthodontics.

Correctness proof (or refutation) is left as an exercise for the reader...