Processing commands for control@bugs.debian.org: > tags 818481 + moreinfo Bug #818481 [installation-reports] installation-reports: Xen PV drivers not present in 32-bit installer kernel (but present in installed kernel) Added tag(s) moreinfo. > thanks Stopping processing here. Please contact me if you need assistance. -- 818481: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818481 Debian Bug Tracking System Contact owner@bugs.debian.org with problems