During Kernel development what type of set-up do developers normally use ? e.g. Machine configuration, virtualization environment etc. or whether they use physical machines ? Cheers, Manish