add proxy parameters and other fixes
adapt kernel xml format