Skip to content

Commit

Permalink
Add custom Linux kernel for RPi 4
Browse files Browse the repository at this point in the history
  • Loading branch information
@slendidev
slendidev committed Feb 16, 2022
1 parent 32876bb commit 538b8c4
Show file tree
Hide file tree
Showing 4 changed files with 7,608 additions and 3 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
buildroot-external/configs/rpi3_64-gui_defconfig.old
buildroot-external/configs/rpi4_64-gui_defconfig.old
buildroot-external/board/raspberrypi4-64/kconfig.old

3 changes: 3 additions & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,9 @@ clean:
menuconfig:
$(MAKE) -C $(BUILDROOT) BR2_EXTERNAL=../$(BUILDROOT_EXTERNAL) menuconfig

linux-menuconfig:
$(MAKE) -C $(BUILDROOT) BR2_EXTERNAL=../$(BUILDROOT_EXTERNAL) linux-menuconfig

savedefconfig:
$(MAKE) -C $(BUILDROOT) BR2_EXTERNAL=../$(BUILDROOT_EXTERNAL) savedefconfig

Expand Down
Loading

0 comments on commit 538b8c4

Please sign in to comment.