diff options
| author | Waldemar Brodkorb <wbx@uclibc-ng.org> | 2015-09-04 18:28:03 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@uclibc-ng.org> | 2015-09-04 18:28:35 +0200 |
| commit | 9827ba766a5a2c367df50b603f44037dbeb9a473 (patch) | |
| tree | 619e400d244e1177ada09825e0892678dea91703 /docs | |
| parent | 520388f1c178a402280d3995ee1aec914fa8e7ed (diff) | |
registering mini.config is no longer required, refresh kernel symbol example
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/adding-boards.txt | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/docs/adding-boards.txt b/docs/adding-boards.txt index b04552fb5..7522c5329 100644 --- a/docs/adding-boards.txt +++ b/docs/adding-boards.txt @@ -59,25 +59,29 @@ select your embedded board. The second step is to create a Kernel configuration file fragment, which contains only the basic support for your board to get serial console access. -For example the snippet for Raspberry PI 2: +For example the snippet for Raspberry PI 2, the file name must match the embedded board +name: target/arm/kernel/raspberry-pi2 ------------------------ CONFIG_ARM=y -CONFIG_ARM_PATCH_PHYS_VIRT=y -CONFIG_ARCH_MULTI_V7=y CONFIG_ARCH_BCM2709=y -CONFIG_MACH_BCM2709=y +CONFIG_BCM2709_DT=y +CONFIG_PHYS_OFFSET=0 +CONFIG_HAVE_ARM_ARCH_TIMER=y CONFIG_FIQ=y -CONFIG_SERIAL_AMBA_PL011=y -CONFIG_SERIAL_AMBA_PL011_CONSOLE=y ------------------------- - -The kernel file must be registered in target/config/Config.in.kernel ------------------------- -config ADK_TARGET_KERNEL_MINICONFIG - string - ... - default "raspberry-pi2" if ADK_TARGET_SYSTEM_RASPBERRY_PI2 +CONFIG_ATAGS=y +CONFIG_KUSER_HELPERS=y +CONFIG_ARM_ERRATA_643719=y +CONFIG_BCM2708_NOL2CACHE=y +CONFIG_RASPBERRYPI_FIRMWARE=y +CONFIG_BRCM_CHAR_DRIVERS=y +CONFIG_BCM2708_VCHIQ=y +CONFIG_BCM2708_VCMEM=y +CONFIG_MAILBOX=y +CONFIG_BCM2835_MBOX=y +CONFIG_OF=y +CONFIG_OF_OVERLAY=y +CONFIG_CMDLINE_FROM_BOOTLOADER=y ------------------------ If the mainstream kernel from kernel.org does not contain support for your board |