set menu_color_normal=white/blue
set menu_color_highlight=light-blue/white

set timeout=5

set kernel=3.9.11
set oldkernel=3.12.9

search --fs-uuid --no-floppy --set root 8628b5ed-4fea-44d6-a2e5-3115aa10932b

menuentry "CRUX 3.0 ($kernel)" {
    linux /boot/vmlinuz-$kernel root=PARTUUID=42e19d64-3032-4579-a3ab-230d3b5efd6f ro quiet
}

menuentry "CRUX 3.0 ($oldkernel)" {
    linux /boot/vmlinuz-$oldkernel root=PARTUUID=42e19d64-3032-4579-a3ab-230d3b5efd6f ro quiet
}