Hello,

# Jachym Holecek 2007-05-28:
> The code lives on ppcoea-renovation branch for now:
> 
>   $ cvs -d anoncvs@anoncvs.netbsd.org:/cvsroot co -r ppcoea-renovation src
> 
> and can be activated by the "options KGDB" statement in kernel
> configuration file (sys/arch/evbppc/conf/VIRTEX_*).
> 
> It should work fine with any supported design (GSRD1, GSRD2 from
> www.xilinx.com/gsrd; and DFC's demo design -- I'll look at putting
> precompiled bitstreams somewhere online).

Precompiled EDK project for VIRTEX_GSRD2 setup can be found at:

  ftp://koza.uamt.feec.vutbr.cz/pub/valach/ml403_ddr_idpoc_100mhz_gsrd.zip

Sorry this took me so long to put online...

	-- Jachym