Hello James and everybody, I just realised that recent Debian kernels are XZ-compressed and can not be booted on the EC2. Do you know a workaround, and do you think that it will be a problem in the long term ? Have a nice day, -- Charles Plessy Tsurumi, Kanagawa, Japan