  We show the existence of prime divisors computing minimal log discrepancies
in positive characteristic except for a special case. Moreover we prove the
lower semicontinuity of minimal log discrepancies for smooth varieties in
positive characteristic.
