Re: [9fans] sheevaplug SD card driver

[Richard Miller]

> 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...