Zmodyfikowałem plik mido.xml dodając obsługę 4k w stockowym aparacie. Aparat od google też obsługuje 4k ze stabilizacją obrazu. Modyfikując odpowiednie wartości w pliku media_profiles.xml można zmienić bitrate nagrywanego pliku video oraz dźwięku. Znalazłem też moda, który sprawia, że filmiki nagrywane w słabym świetle mają stałe 30fps. Cały czas szukam sposobu na nagrywanie w 60fps... Różnica pomiędzy 1080p a 4k w jakości obrazu na redmi note 4 jest kolosalna. W mojej ocenie 1080p na redmi note 4 wygląda gorzej od 720p nagrywane na Xperii Z1 compact, który też mam.
Tak wygląda klatka z nagrania 1080p a druga z nagrania 4k