LogCreative

The cache folder of huggingface/transformers in in ~/.cache/huggingface. Clear it when the downloading procedure is down.

LogCreative

1. Install QEMU.
2. Since the recent Raspberry Pi OS has removed the preset user, use a legacy version like 2022-01-28 will work. Download the Raspberry Pi OS and extract these files from the image:

• bcm2710-rpi-3-b.dtb
• kernel8.img

3. Resize the image to 8G to avoid the disk error. Since the disk space has to be the square of 2 and the image itself occupies 3.8G already. If you want to make more actions, please allocate a larger space.

qemu-img resize 2022-01-28-raspios-bullseye-arm64.img 8G

4. Write the following code to a bash file launch.sh, reference to this repo and this spec.

LogCreative

Install TVM on macOS M1 chip

TVM is an open source machine learning compiler framework. The official guide gives some information about how to install it for macOS M1 chip. But there are still some pitfalls when installing. The setup for this tutorial is on MacBook Pro M1, macOS Ventura (13.0).

Download the source code

It is not recommended to just use pip to install tvm since the version is not compiled for apple chip. To maximize the availability, compile the source and then install it. You could download the released version of TVM source from download page, I use 0.10.0 in this tutorial.

Though in theory, you could git clone the source code from the offical GitHub repository. But it is tedious to download the submodules of this project -- they are just too many.

LogCreative

1. Use Raspberry Pi Imager to install the Raspberry Pi OS (maybe 64-bit version). Change the setting before burning:

• Use password to login with a new user. You have to setup a new user in the newer version of Raspberry Pi OS. Otherwise, SSH will refuse to connect.
• Setup WiFi connection: SSID, password and region (e.g. 'CN'). Warning, use 2.4GHz band instead of 5GHz band for the most of the time.
• Open SSH. This is closed by default.
• Set the hostname. raspberrypi.local by default.

2. In a computer that connects to the same router, use command ping [hostname] (e.g. ping raspberrypi.local) to get the IP address of the Raspberry Pi.
3. Connect to the Raspberry Pi by SSH.

• Use command ssh [username]@[IP].
• Add new host to the local computer. Sometimes, you reinstall the OS on the Raspberry Pi, the key validation might get broken. In this scenario, you should delete the previous known host first in your ~/.ssh/known_hosts.
• Enter the passw