gist for KernelVM/Tokyo 13(2017/07/22)

README.md

disable_spl_stm32f7.diff

This patch is disable U-Boot SPL mode for STM32F7 microcontroller.

Checkd at comit:aae6f016a7928edc79dff78d1235103fff282a34

please reffer following URL: https://patchwork.ozlabs.org/patch/764134/

stm32f7_fit.its

This is U-Boot Image Tree Source(ITS) to boot Linux on STM32F746-disovery board

disable_spl_stm32f7.diff

diff --git a/arch/arm/mach-stm32/Kconfig b/arch/arm/mach-stm32/Kconfig
index 8f4371429f..ec6b3ff2df 100644
--- a/arch/arm/mach-stm32/Kconfig
+++ b/arch/arm/mach-stm32/Kconfig
@@ -8,25 +8,6 @@ config STM32F1
 
 config STM32F7
 	bool "stm32f7 family"
-	select SUPPORT_SPL
-	select SPL
-	select SPL_CLK
-	select SPL_DM
-	select SPL_DM_SEQ_ALIAS
-	select SPL_DRIVERS_MISC_SUPPORT
-	select SPL_GPIO_SUPPORT
-	select SPL_LIBCOMMON_SUPPORT
-	select SPL_LIBGENERIC_SUPPORT
-	select SPL_MTD_SUPPORT
-	select SPL_OF_CONTROL
-	select SPL_OF_LIBFDT
-	select SPL_OF_TRANSLATE
-	select SPL_OS_BOOT
-	select SPL_PINCTRL
-	select SPL_RAM
-	select SPL_SERIAL_SUPPORT
-	select SPL_SYS_MALLOC_SIMPLE
-	select SPL_XIP_SUPPORT
 
 source "arch/arm/mach-stm32/stm32f4/Kconfig"
 source "arch/arm/mach-stm32/stm32f1/Kconfig"

stm32f7_fit.its

/dts-v1/;

/ {
  description = "Kernel, ramdisk and FDT blob";
  #address-cells = <1>;

  images {
    kernel@1 {
           description = "Linux Kernel";
           data = /incbin/("stm32-linux/arch/arm/boot/Image");
           type = "kernel";
           arch = "arm";
           os = "linux";
           compression = "none";
           load = <0xC0008000>;
           entry = <0xC0008001>;
           hash@1 {
                  algo = "md5";
           };
  };
  
ramdisk@1 {
          description = "Ramdisk for STM32F7";
          data = /incbin/("rootfs.cpio");
          type = "ramdisk";
          arch = "arm";
          os = "linux";
          compression = "none";
          load = <0xC0200000>;
          entry = <0xC0200000>;
          hash@1 {
                  algo = "sha1";
          };
  };
  
  fdt@1 {
        description = "FDT for STM32F7-disco";
        data = /incbin/("stm32-linux/arch/arm/boot/dts/stm32f746-disco.dtb");
        type = "flat_dt";
        arch = "arm";
        compression = "none";
        hash@1 {
               algo = "crc32";
        };
  };
};

configurations {
        default = "config@1";

        config@1 {
                 description = "STM32F7-disco Configuration";
                 kernel = "kernel@1";
                 ramdisk = "ramdisk@1";
                 fdt = "fdt@1";
        };
};
};