e1389977e0
Bug: 190511750 Test: boot microdroid Change-Id: I4aa4a56e9be5103d70469c3508110a973f3e4f12
2 lines
71 B
Text
2 lines
71 B
Text
# Life begins with the kernel.
|
|
type kernel, domain, mlstrustedsubject;
|