An unofficial Debian Installer for Pinebook Pro

[moonwalkers]

Is the kernel config someplace available, or is there a command to dump out the config from a running kernel?  Android has a file called build.prop which is close I think, not sure it's kernel stuff though.

Kinda depends. First though, build.prop on Android has little to nothing to do with kernel config.
Off the top of my head - there is

Code:

zcat /proc/config.gz

that should print out the config of the currently running kernel, but that doesn't seem to be universal - it works on Debian on my PBP but not on Ubuntu on my work laptop. Probably a part of kernel config in itself. And then there are config files that are usually included in the kernel package and are installed alongside the kernel image in /boot, usually named something like `/boot/config-<version>`.