blob: d31e0d5587f32916eb7be8536f2cb8cf12930f3d [file] [log] [blame]
DEFCONFIG=microdroid_defconfig