arch/x86/config.in
changeset 568 e2549c563fde
child 628 87802cb25a0f