microdroid/system/public/servicemanager.te

type servicemanager, domain;
type servicemanager_exec, file_type, exec_type, system_file_type;