Subject: Re: New bootloader for RiscPC+Kinetic available
To: Reinoud Zandijk <imago@kabel065011.kabel.utwente.nl>
From: Richard Earnshaw <rearnsha@buzzard.freeserve.co.uk>
List: port-arm32
Date: 02/13/2001 00:38:40 
imago@kabel065011.kabel.utwente.nl said:
> Wow... so there is allready a kind of support for that build in ...
> hmm... have to look into that! That would save lots of work! 

Yep, look for pmap_isa_dma_* in arm32/pmap.c and then in the shark support 
dir.

R.