1# Read device's serial number from system properties 2get_prop(hal_keymint_system, serialno_prop) 3 4# Read the OS patch level from system properties 5get_prop(hal_keymint_system, vendor_security_patch_level_prop) 6