Penguin

Describe EL3HLT? here.