On 30.03.2013 17:20, Francesco Lavra wrote:

> Why not simply call grub_strcpy (*device, tmp)?

Here you should use grub_Strdup actually