I installed the ARMv7 version of Arch following the official instructions. The Pi is mainly used as a Samba server.
Struggled a bit with the WiFi but now everything's working well except the kernel crashes like every few days. Here's part of the error messages that I got when it crashed last time:
$this->bbcode_second_pass_code('', '[91918.221781] CPU0: stopping
[91918.248419] CPU: 0 PID: 0 Comm: swapper/0 Tainted: G D WD 4.14.32-ARCH #1
[91918.301295] Hardware name: BCM2835
[91918.327364] [<8010ef14>] (unwind_backtrace) from [<8010bbc0>] (show_stack+0x10/0x14)
[91918.379405] [<8010bbc0>] (show_stack) from [<80a71e7c>] (dump_stack+0x9c/0xc8)
[91918.431416] [<80a71e7c>] (dump_stack) from [<8010dc48>] (handle_IPI_0x2d0/0x324)
[91918.483422] [<8010dc48>] (handle_IPI) from [<80a8d6f8>] (__irq_svc+0x58/0x74)
[91918.509444] [<80a8d6f8>] (__irq_svc) from [<8010868c>] (arch_cpu_idle+0x30/0x3c)
[91918.561250] [<8010868c>] (arch_cpu_idle) from [<80172a30>] (do_idle+0xc8/0x144)
[91918.613047] [<80172a30>] (do_idle) from [<80172d24>] (cpu_startup_entry+0x18/0x1c)
[91918.665020] [<80172d24>] (cpu_startup_entry) from [<80e00c84>] (start_kernel+0x38c/0x414)')
I also took a photo of the screen.
Any ideas about this?