Merge branch 'master' of https://github.com/igorpecovnik/lib
This commit is contained in:
commit
88878faf22
@ -2733,7 +2733,7 @@ CONFIG_ION_SUNXI=y
|
||||
CONFIG_ION_SUNXI_RESERVE_LIST="160M@0,256M@0,130M@1,200M@1"
|
||||
CONFIG_MALI=m
|
||||
CONFIG_MALI400=m
|
||||
# CONFIG_MALI400_DEBUG is not set
|
||||
CONFIG_MALI400_DEBUG=y
|
||||
# CONFIG_MALI400_PROFILING is not set
|
||||
# CONFIG_MALI400_GPU_UTILIZATION is not set
|
||||
CONFIG_UMP=m
|
||||
|
||||
@ -52,8 +52,7 @@ install_desktop ()
|
||||
sed "s/managed=\(.*\)/managed=true/g" -i $CACHEDIR/sdcard/etc/NetworkManager/NetworkManager.conf
|
||||
# Disable dns management withing NM
|
||||
sed "s/\[main\]/\[main\]\ndns=none/g" -i $CACHEDIR/sdcard/etc/NetworkManager/NetworkManager.conf
|
||||
echo "[keyfile]" >> $CACHEDIR/sdcard/etc/NetworkManager/NetworkManager.conf
|
||||
echo "unmanaged-devices=interface-name:p2p0" $CACHEDIR/sdcard/etc/NetworkManager/NetworkManager.conf
|
||||
printf '[keyfile]\nunmanaged-devices=interface-name:p2p0\n' >> $CACHEDIR/sdcard/etc/NetworkManager/NetworkManager.conf
|
||||
fi
|
||||
|
||||
# Disable Pulseaudio timer scheduling which does not work with sndhdmi driver
|
||||
|
||||
Loading…
Reference in New Issue
Block a user