`mach ddbcpu 0' locked up ddb, not printing or doing anything so I just
reset the machine.

Reply via email to