is there another repo for the build tools?

[developerbayman]

the repo server for the build tools are down or am i in the wrong place? also looking for arm64 equivalency if i can figure out how to build this on a orange pi 5 i can prob take over for maintainer for the xaiomi redmi note 9 pro....maybe

https://phone.docs.ubuntu.com/en/devices/porting-new-device
$ sudo add-apt-repository ppa:phablet-team/tools
$ sudo apt-get update
$ sudo apt-get install phablet-tools

sudo apt-get install git gnupg flex bison gperf build-essential
zip bzr curl libc6-dev libncurses5-dev:i386 x11proto-core-dev
libx11-dev:i386 libreadline6-dev:i386 libgl1-mesa-glx:i386
libgl1-mesa-dev g++-multilib mingw32 tofrodos
python-markdown libxml2-utils xsltproc zlib1g-dev:i386 schedtool
g++-4.8-multilib

[Luksus]

@developerbayman uhh, I think you discovered a super old page there.

You should look here: https://docs.ubports.com/en/latest/porting/introduction/index.html
For Xiaomi note 9, look there: https://gitlab.com/ubports/porting/community-ports/android10/xiaomi-redmi-9