On Mon, Feb 22, 2021 at 05:20:13PM -0800, Song Liu wrote:> Update the Makefile to prefer using $(O)/mvlinux, $(KBUILD_OUTPUT)/vmlinuxs/mvlinux/vmlinux/