[parisc-linux] list of supported machine types

[Carlos O'Donell Jr.]

[snip]
> We also have a few 712/33's running, but we mostly gutted them for
[snip] 
> Navigating the kernel config on the 712/50's is a bit like a minefield...
> 
> Cheers,
> Carlos.
>

My apologies, 715/33 and 715/50.

Cheers,
Carlos.