# Depends on: cmake
name=rpi3-userland
-version=20190925
+version=20191217
release=1
-commit=13b33c8ee52521ac3c804ffa6d8e8b8a8cd30697
+commit=42ec119e03eb8dffc7c83e2ac0e665e333abbef6
source=(https://github.com/raspberrypi/userland/archive/$commit/$name-$version.tar.gz)
build() {
mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Release \
- -DARM64=aarch64 \
+ -DARM64=ON \
../userland-$commit
make
make DESTDIR=$PKG install