I don’t want to be too pedantic but Android uses the Linux kernel. Degoogled Android is basically what you want.