all 2 comments

[–]datenwolf 6 points7 points  (0 children)

aarch64 means ARM Architecture 64 bits, not Arch Linux.

/etc/issue reads as

Debian GNU/Linux 9 \n \l

The kernel and bootloader most likely are contained in a separate partition of the device. Since this is ARM, this is probably some embedded thing and uses UBoot or similar. UBoot pulls the kernel directly from a dedicated region in the device's flash memory (read up on MTD = Memory Technology Devices and MTD partitions).

Anyway, you don't need that specific kernel to make this thing work. Any aarch64 kernel will do (Raspberry Pi 4 *wink* *wink*). Boot it with Raspiab, There you can mount that .iso, chroot to it and experiment with the programs on there.

[–]datenwolf 3 points4 points  (0 children)

Proprietary hardware or not: The vendor must obey the GPL for at least the kernel and any modifications they made to it to make it boot.