--zYM0uCDKw75PZbzx
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

Dear folks,

recently i remembered that we had ipkdb for remote kernel debugging. Are 
ppl. still using it? does it still work?

I would like to use it to remotely use gdb on an i386 using preferably a 
cheap PCI rtk card.

thanks in advance,

Reinoud


--zYM0uCDKw75PZbzx
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (NetBSD)

iQEVAwUBQ87feYKcNwBDyKpoAQKU5QgApIOY4fBYiukMokbJy7jBjoWK5RqfeHQO
k1i36l/BxalT4F6AWp2kieZdg6lzitWDp0Smo3HNWD/jE3ScRGWEaUk9RtKZ/Okp
z+CMi75AZXWgpYuep+yLG3oJi0lbrm3V0S5rzAG/sb6SP1/LMYU8YB+tHR7qsXAM
KVK7tyv5HTyX1tn/YgwwPRSTIN7UerW6xQqVGKvAN+B8uYTnMRbn2n/LQ6XscnV3
cy8TZIgXHv54aRpD/rv5595b1SKIYqOoIOT0ZXH6svsgW8+p9TSnR75A1wuPS+Nq
LAjLbbURbVRs6bV/WMAAh0P9qi3mjKuw1/tYRnuSS6T3rwBKvHXJBg==
=li0N
-----END PGP SIGNATURE-----

--zYM0uCDKw75PZbzx--