He habilitado el cifrado completo del disco o al menos eso creo. La HD aparece como "Partición lógica encriptada" en la Utilidad de disco.
Cuando arranco el macbook, sin embargo, puedo elegir entre iniciar sesión como Andreas Bonini, con la contraseña de mi cuenta de usuario, o ingresar la contraseña del disco.
Si elijo la opción anterior, nunca se me pedirá la contraseña del disco.
Esto no es lo que tenía en mente: quería algo como TrueCrypt, donde todo el contenido del disco está cifrado y la única forma de acceder es ingresando la contraseña disk ; el macbook ni siquiera debería saber qué cuentas de usuario están presentes antes de desbloquear el disco.
La contraseña de mi cuenta de usuario es obviamente mucho menos segura que la contraseña del disco.