search

openhwgroup / cva6-sdk

CVA6 SDK containing RISC-V tools and Buildroot
60 stars 65 forks source link

how to change the linux kernel version? #22

Closed mathmax12 closed 5 years ago

mathmax12 commented 5 years ago

Hi, I noticed that there are several ways to configure the Linux kernel source (https://github.com/buildroot/buildroot/blob/78e596719f43df6ffcb2a84f5160589c2a8d59a6/linux/linux.mk)

My question is if I want to use the 4.19 Linux kernel,(https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/?h=v4.19.67) how can I use the ariane-sdk to compile it?

Moschn commented 5 years ago

In theory, you could just change the git submodule named linux to point to the 4.19 release.

As for the configuration options, you can change them in the config directory

mathmax12 commented 5 years ago

Thanks.