mach kernel - Spanish English Dictionary