add a '@KERNEL' download facility, tweak script

SVN-Revision: 8495
This commit is contained in:
Nicolas Thill 2007-08-26 18:21:24 +00:00
parent b35e6fe3ba
commit 1b226e4de1
4 changed files with 20 additions and 23 deletions