module my-kdumpdepgener 1.0;

require {
	type init_t;
	type admin_home_t;
	class file read;
}

#============= init_t ==============
allow init_t admin_home_t:file read;