optee xtest crashes in 4.12.4 kernel

[vsivanagulu]

Kernel 4.9.88 works very well with my imx6ul based hardware. However when I upgrade my kernel to 4.12.4, the xtest crashes. boot logs & crash logs are attached in one file

> [`barebox@i.MX6ulSOM:/ boot mmc -v
> booting 'mmc'
> mmc0: detected SD card version 2.0
> mmc0: registered mmc0
> 
> Loading ARM Linux zImage '/mnt/mmc/zImage'
> OS image not yet relocated
> Passing control to ARM zImage handler
> no OS load address, defaulting to 0x82000000
> no initrd load address, defaulting to 0x8272e000
> Read optee file to 0x9e000000, size 0x00045280
> Loading devicetree from '/mnt/mmc/imx6ul-14x14-evk.dtb'
> Starting with OP-TEE, adding PSCI device node
> commandline:  console=ttymxc0,115200n8  root=/dev/mmcblk0p2 rootwait rw
> 
> Starting kernel at 0x82000000, oftree at 0x8272e000...
> Starting kernel in secure mode
> D/TC:0 add_phys_mem:539 TEE_SHMEM_START type NSEC_SHM 0x9fe00000 size 0x00200000
> D/TC:0 add_phys_mem:539 TA_RAM_START type TA_RAM 0x9e100000 size 0x01d00000
> D/TC:0 add_phys_mem:539 VCORE_UNPG_RW_PA type TEE_RAM_RW 0x9e040000 size 0x000c0000
> D/TC:0 add_phys_mem:539 VCORE_UNPG_RX_PA type TEE_RAM_RX 0x9e000000 size 0x00040000
> D/TC:0 add_phys_mem:539 ROUNDDOWN(IRAM_BASE, CORE_MMU_DEVICE_SIZE) type TEE_COHERENT 0x00900000 size 0x00100000
> D/TC:0 add_phys_mem:539 AIPS3_BASE type IO_SEC 0x02200000 size 0x00100000
> D/TC:0 add_phys_mem:539 AIPS2_BASE type IO_SEC 0x02100000 size 0x00100000
> D/TC:0 add_phys_mem:539 AIPS1_BASE type IO_SEC 0x02000000 size 0x00100000
> D/TC:0 add_phys_mem:539 ANATOP_BASE type IO_SEC 0x02000000 size 0x00200000
> D/TC:0 add_phys_mem:552 Physical mem map overlaps 0x2000000
> D/TC:0 add_phys_mem:539 GIC_BASE type IO_SEC 0x00a00000 size 0x00100000
> D/TC:0 add_phys_mem:539 CONSOLE_UART_BASE type IO_NSEC 0x02000000 size 0x00200000
> D/TC:0 verify_special_mem_areas:477 No NSEC DDR memory area defined
> D/TC:0 add_va_space:578 type RES_VASPACE size 0x00a00000
> D/TC:0 add_va_space:578 type SHM_VASPACE size 0x02000000
> D/TC:0 dump_mmap_table:711 type IO_SEC       va 0x98c00000..0x98cfffff pa 0x02100000..0x021fffff size 0x00100000 (pgdir)
> D/TC:0 dump_mmap_table:711 type IO_SEC       va 0x98d00000..0x98efffff pa 0x02000000..0x021fffff size 0x00200000 (pgdir)
> D/TC:0 dump_mmap_table:711 type IO_SEC       va 0x98f00000..0x98ffffff pa 0x00a00000..0x00afffff size 0x00100000 (pgdir)
> D/TC:0 dump_mmap_table:711 type IO_NSEC      va 0x99000000..0x991fffff pa 0x02000000..0x021fffff size 0x00200000 (pgdir)
> D/TC:0 dump_mmap_table:711 type NSEC_SHM     va 0x99200000..0x993fffff pa 0x9fe00000..0x9fffffff size 0x00200000 (pgdir)
> D/TC:0 dump_mmap_table:711 type TA_RAM       va 0x99400000..0x9b0fffff pa 0x9e100000..0x9fdfffff size 0x01d00000 (pgdir)
> D/TC:0 dump_mmap_table:711 type TEE_COHERENT va 0x9b200000..0x9b2fffff pa 0x00900000..0x009fffff size 0x00100000 (pgdir)
> D/TC:0 dump_mmap_table:711 type RES_VASPACE  va 0x9b300000..0x9bcfffff pa 0x00000000..0x009fffff size 0x00a00000 (pgdir)
> D/TC:0 dump_mmap_table:711 type IO_SEC       va 0x9be00000..0x9befffff pa 0x02200000..0x022fffff size 0x00100000 (pgdir)
> D/TC:0 dump_mmap_table:711 type SHM_VASPACE  va 0x9bf00000..0x9defffff pa 0x00000000..0x01ffffff size 0x02000000 (pgdir)
> D/TC:0 dump_mmap_table:711 type TEE_RAM_RX   va 0x9e000000..0x9e03ffff pa 0x9e000000..0x9e03ffff size 0x00040000 (smallpg)
> D/TC:0 dump_mmap_table:711 type TEE_RAM_RW   va 0x9e040000..0x9e0fffff pa 0x9e040000..0x9e0fffff size 0x000c0000 (smallpg)
> D/TC:0 core_mmu_alloc_l2:238 L2 table used: 1/4
> I/TC:  
> D/TC:0 init_canaries:164 #Stack canaries for stack_tmp[0] with top at 0x9e0409b8
> D/TC:0 init_canaries:164 watch *0x9e0409bc
> D/TC:0 init_canaries:165 #Stack canaries for stack_abt[0] with top at 0x9e045278
> D/TC:0 init_canaries:165 watch *0x9e04527c
> D/TC:0 init_canaries:167 #Stack canaries for stack_thread[0] with top at 0x9e0429f8
> D/TC:0 init_canaries:167 watch *0x9e0429fc
> D/TC:0 init_canaries:167 #Stack canaries for stack_thread[1] with top at 0x9e044a38
> D/TC:0 init_canaries:167 watch *0x9e044a3c
> I/TC:  OP-TEE version: 3.2.0-28-g414060f #13 Tue Aug  7 08:50:23 UTC 2018 arm
> D/TC:0 tee_ta_register_ta_store:534 Registering TA store: 'REE' (priority 10)
> D/TC:0 tee_ta_register_ta_store:534 Registering TA store: 'Secure Storage TA' (priority 9)
> D/TC:0 mobj_mapped_shm_init:559 Shared memory address range: 9bf00000, 9df00000
> E/TC:0 plat_rng_init:354 Warning: seeding RNG with zeroes
> I/TC:  Initialized
> D/TC:0 init_primary_helper:917 Primary CPU switching to normal world boot
> [    0.000000] Booting Linux on physical CPU 0x0
> [    0.000000] Linux version 4.12.4 (siva@siva-Vostro-3268) (gcc version 4.6.2 (OSELAS.Toolchain-2011.11.1 linaro-4.6-2011.11) ) #19 SMP Wed Aug 8 17:18:32 IST 2018
> [    0.000000] CPU: ARMv7 Processor [410fc075] revision 5 (ARMv7), cr=10c5387d
> [    0.000000] CPU: div instructions available: patching division code
> [    0.000000] CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache
> [    0.000000] OF: fdt: Machine model: Freescale i.MX6 UltraLite 14x14 EVK Board
> [    0.000000] Memory policy: Data cache writealloc
> [    0.000000] OF: fdt: Reserved memory: unsupported node format, ignoring
> [    0.000000] cma: Reserved 64 MiB at 0x99c00000
> [    0.000000] psci: probing for conduit method from DT.
> [    0.000000] psci: PSCIv65535.65535 detected in firmware.
> [    0.000000] psci: Using standard PSCI v0.2 function IDs
> [    0.000000] psci: MIGRATE_INFO_TYPE not supported.
> [    0.000000] percpu: Embedded 16 pages/cpu @ddfb6000 s35072 r8192 d22272 u65536
> [    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 130048
> [    0.000000] Kernel command line:  console=ttymxc0,115200n8  root=/dev/mmcblk0p2 rootwait rw
> [    0.000000] PID hash table entries: 2048 (order: 1, 8192 bytes)
> [    0.000000] Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
> [    0.000000] Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
> [    0.000000] Memory: 406048K/524288K available (9216K kernel code, 414K rwdata, 2820K rodata, 1024K init, 445K bss, 52704K reserved, 65536K cma-reserved, 0K highmem)
> [    0.000000] Virtual kernel memory layout:
> [    0.000000]     vector  : 0xffff0000 - 0xffff1000   (   4 kB)
> [    0.000000]     fixmap  : 0xffc00000 - 0xfff00000   (3072 kB)
> [    0.000000]     vmalloc : 0xe0800000 - 0xff800000   ( 496 MB)
> [    0.000000]     lowmem  : 0xc0000000 - 0xe0000000   ( 512 MB)
> [    0.000000]     pkmap   : 0xbfe00000 - 0xc0000000   (   2 MB)
> [    0.000000]     modules : 0xbf000000 - 0xbfe00000   (  14 MB)
> [    0.000000]       .text : 0xc0008000 - 0xc0a00000   (10208 kB)
> [    0.000000]       .init : 0xc0d00000 - 0xc0e00000   (1024 kB)
> [    0.000000]       .data : 0xc0e00000 - 0xc0e67880   ( 415 kB)
> [    0.000000]        .bss : 0xc0e69000 - 0xc0ed8730   ( 446 kB)
> [    0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
> [    0.000000] Hierarchical RCU implementation.
> [    0.000000] 	RCU debugfs-based tracing is enabled.
> [    0.000000] 	RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
> [    0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
> [    0.000000] NR_IRQS:16 nr_irqs:16 16
> [    0.000000] Switching to timer-based delay loop, resolution 41ns
> [    0.000018] sched_clock: 32 bits at 24MHz, resolution 41ns, wraps every 89478484971ns
> [    0.000057] clocksource: mxc_timer1: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 79635851949 ns
> [    0.002486] Console: colour dummy device 80x30
> [    0.002529] Calibrating delay loop (skipped), value calculated using timer frequency.. 48.00 BogoMIPS (lpj=240000)
> [    0.002567] pid_max: default: 32768 minimum: 301
> [    0.002808] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes)
> [    0.002836] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes)
> [    0.004079] CPU: Testing write buffer coherency: ok
> [    0.004610] /cpus/cpu@0 missing clock-frequency property
> [    0.004653] CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
> [    0.005424] Setting up static identity map for 0x80100000 - 0x80100078
> [    0.006892] smp: Bringing up secondary CPUs ...
> [    0.006926] smp: Brought up 1 node, 1 CPU
> [    0.006950] SMP: Total of 1 processors activated (48.00 BogoMIPS).
> [    0.006968] CPU: All CPU(s) started in SVC mode.
> [    0.008466] devtmpfs: initialized
> [    0.020459] OF: Duplicate name in lcdif@021c8000, renamed to "display#1"
> [    0.023046] VFP support v0.3: implementor 41 architecture 2 part 30 variant 7 rev 5
> [    0.023775] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns
> [    0.023829] futex hash table entries: 256 (order: 2, 16384 bytes)
> [    0.030624] pinctrl core: initialized pinctrl subsystem
> [    0.032917] NET: Registered protocol family 16
> [    0.035553] DMA: preallocated 256 KiB pool for atomic coherent allocations
> [    0.038467] cpuidle: using governor menu
> [    0.051545] vdd3p0: supplied by regulator-dummy
> [    0.052929] cpu: supplied by regulator-dummy
> [    0.054164] vddsoc: supplied by regulator-dummy
> [    0.071915] No ATAGs?
> [    0.072051] hw-breakpoint: found 5 (+1 reserved) breakpoint and 4 watchpoint registers.
> [    0.072090] hw-breakpoint: maximum watchpoint size is 8 bytes.
> [    0.075766] imx6ul-pinctrl 20e0000.iomuxc: initialized IMX pinctrl driver
> [    0.129597] mxs-dma 1804000.dma-apbh: initialized
> [    0.132818] vgaarb: loaded
> [    0.133955] SCSI subsystem initialized
> [    0.135184] usbcore: registered new interface driver usbfs
> [    0.135380] usbcore: registered new interface driver hub
> [    0.135595] usbcore: registered new device driver usb
> [    0.138250] i2c i2c-1: IMX I2C adapter registered
> [    0.138297] i2c i2c-1: can't use DMA, using PIO instead.
> [    0.138629] Linux video capture interface: v2.00
> [    0.138808] pps_core: LinuxPPS API ver. 1 registered
> [    0.138831] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@linux.it>
> [    0.138913] PTP clock support registered
> [    0.139753] Advanced Linux Sound Architecture Driver Initialized.
> [    0.142017] Bluetooth: Core ver 2.22
> [    0.142143] NET: Registered protocol family 31
> [    0.142165] Bluetooth: HCI device and connection manager initialized
> [    0.142198] Bluetooth: HCI socket layer initialized
> [    0.142223] Bluetooth: L2CAP socket layer initialized
> [    0.142292] Bluetooth: SCO socket layer initialized
> [    0.144772] clocksource: Switched to clocksource mxc_timer1
> [    0.145035] VFS: Disk quotas dquot_6.6.0
> [    0.145179] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
> [    0.170233] NET: Registered protocol family 2
> [    0.171652] TCP established hash table entries: 4096 (order: 2, 16384 bytes)
> [    0.171774] TCP bind hash table entries: 4096 (order: 3, 32768 bytes)
> [    0.171935] TCP: Hash tables configured (established 4096 bind 4096)
> [    0.172129] UDP hash table entries: 256 (order: 1, 8192 bytes)
> [    0.172196] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes)
> [    0.172535] NET: Registered protocol family 1
> [    0.173357] RPC: Registered named UNIX socket transport module.
> [    0.173387] RPC: Registered udp transport module.
> [    0.173403] RPC: Registered tcp transport module.
> [    0.173421] RPC: Registered tcp NFSv4.1 backchannel transport module.
> [    0.179403] workingset: timestamp_bits=30 max_order=17 bucket_order=0
> [    0.197206] NFS: Registering the id_resolver key type
> [    0.197278] Key type id_resolver registered
> [    0.197299] Key type id_legacy registered
> [    0.197396] jffs2: version 2.2. (NAND) © 2001-2006 Red Hat, Inc.
> [    0.198668] fuse init (API version 7.26)
> [    0.211290] io scheduler noop registered
> [    0.211322] io scheduler deadline registered
> [    0.211425] io scheduler cfq registered (default)
> [    0.211446] io scheduler mq-deadline registered
> [    0.211467] io scheduler kyber registered
> [    0.216880] pwm-backlight backlight: backlight supply power not found, using dummy regulator
> [    0.220786] mxsfb 21c8000.lcdif: 21c8000.lcdif supply lcd not found, using dummy regulator
> [    0.231150] Console: switching to colour frame buffer device 60x34
> [    0.233837] mxsfb 21c8000.lcdif: initialized
> [    0.237115] imx-sdma 20ec000.sdma: Direct firmware load for imx/sdma/sdma-imx6q.bin failed with error -2
> [    0.237161] imx-sdma 20ec000.sdma: external firmware not found, using ROM firmware
> [    0.248478] 2020000.serial: ttymxc0 at MMIO 0x2020000 (irq = 18, base_baud = 5000000) is a IMX
> [    0.953178] console [ttymxc0] enabled
> [    0.958992] 21e8000.serial: ttymxc1 at MMIO 0x21e8000 (irq = 58, base_baud = 5000000) is a IMX
> [    1.008448] brd: module loaded
> [    1.032782] loop: module loaded
> [    1.042575] fsl-quadspi 21e0000.qspi: unrecognized JEDEC id bytes: ff, ff, ff
> [    1.049876] fsl-quadspi 21e0000.qspi: Freescale QuadSPI probe failed
> [    1.056437] fsl-quadspi: probe of 21e0000.qspi failed with error -2
> [    1.065301] libphy: Fixed MDIO Bus: probed
> [    1.070959] CAN device driver interface
> [    1.077323] fec 20b4000.ethernet: 20b4000.ethernet supply phy not found, using dummy regulator
> [    1.087304] pps pps0: new PPS source ptp0
> [    1.092726] libphy: fec_enet_mii_bus: probed
> [    1.100078] fec 20b4000.ethernet eth1: registered PHC device 0
> [    1.108126] fec 2188000.ethernet: 2188000.ethernet supply phy not found, using dummy regulator
> [    1.118099] pps pps1: new PPS source ptp1
> [    1.152023] libphy: fec_enet_mii_bus: probed
> [    1.158611] fec 2188000.ethernet eth0: registered PHC device 1
> [    1.166486] usbcore: registered new interface driver asix
> [    1.172078] usbcore: registered new interface driver ax88179_178a
> [    1.178596] usbcore: registered new interface driver cdc_ether
> [    1.184592] usbcore: registered new interface driver net1080
> [    1.190580] usbcore: registered new interface driver cdc_subset
> [    1.196732] usbcore: registered new interface driver zaurus
> [    1.202520] usbcore: registered new interface driver cdc_ncm
> [    1.208273] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
> [    1.214912] ehci-pci: EHCI PCI platform driver
> [    1.219590] ehci-mxc: Freescale On-Chip EHCI Host driver
> [    1.225877] usbcore: registered new interface driver usb-storage
> [    1.235518] imx_usb 2184000.usb: 2184000.usb supply vbus not found, using dummy regulator
> [    1.250129] imx_usb 2184200.usb: 2184200.usb supply vbus not found, using dummy regulator
> [    1.263017] ci_hdrc ci_hdrc.1: EHCI Host Controller
> [    1.268203] ci_hdrc ci_hdrc.1: new USB bus registered, assigned bus number 1
> [    1.304846] ci_hdrc ci_hdrc.1: USB 2.0 started, EHCI 1.00
> [    1.312557] hub 1-0:1.0: USB hub found
> [    1.316636] hub 1-0:1.0: 1 port detected
> [    1.324255] input: 20cc000.snvs:snvs-powerkey as /devices/soc0/soc/2000000.aips-bus/20cc000.snvs/20cc000.snvs:snvs-powerkey/input/input0
> [    1.339735] input: iMX6UL Touchscreen Controller as /devices/soc0/soc/2000000.aips-bus/2040000.tsc/input/input1
> [    1.354351] snvs_rtc 20cc000.snvs:snvs-rtc-lp: rtc core: registered 20cc000.snvs:snvs-r as rtc0
> [    1.363558] i2c /dev entries driver
> [    1.368351] IR NEC protocol handler initialized
> [    1.372923] IR RC5(x/sz) protocol handler initialized
> [    1.378107] IR RC6 protocol handler initialized
> [    1.382667] IR JVC protocol handler initialized
> [    1.387269] IR Sony protocol handler initialized
> [    1.391910] IR SANYO protocol handler initialized
> [    1.396679] IR Sharp protocol handler initialized
> [    1.401406] IR MCE Keyboard/mouse protocol handler initialized
> [    1.407301] IR XMP protocol handler initialized
> [    1.414144] syscon-poweroff 20cc000.snvs:snvs-poweroff: pm_power_off already claimed c06a3024 psci_sys_poweroff
> [    1.424429] syscon-poweroff: probe of 20cc000.snvs:snvs-poweroff failed with error -16
> [    1.437136] imx2-wdt 20bc000.wdog: timeout 60 sec (nowayout=0)
> [    1.443286] Bluetooth: HCI UART driver ver 2.3
> [    1.447891] Bluetooth: HCI UART protocol H4 registered
> [    1.453060] Bluetooth: HCI UART protocol LL registered
> [    1.459185] sdhci: Secure Digital Host Controller Interface driver
> [    1.465489] sdhci: Copyright(c) Pierre Ossman
> [    1.469870] sdhci-pltfm: SDHCI platform and OF driver helper
> [    1.478094] sdhci-esdhc-imx 2190000.usdhc: Got CD GPIO
> [    1.545198] mmc0: SDHCI controller on 2190000.usdhc [2190000.usdhc] using ADMA
> [    1.606949] mmc0: host does not support reading read-only switch, assuming write-enable
> [    1.618924] random: fast init done
> [    1.625524] mmc1: SDHCI controller on 2194000.usdhc [2194000.usdhc] using ADMA
> [    1.637547] mmc0: new high speed SDHC card at address e624
> [    1.651001] usbcore: registered new interface driver usbhid
> [    1.656717] usbhid: USB HID core driver
> [    1.660683] mmcblk0: mmc0:e624 SU08G 7.40 GiB 
> [    1.670792] optee: * * probing for conduit method from DT.
> [    1.677961]  mmcblk0: p1 p2
> [    1.681400] * * tee_device_alloc called * *
> [    1.681433] * * tee_device_alloc called * *
> [    1.688269] optee: * * initialized driver
> [    1.721975] wm8960 1-001a: Failed to issue reset
> [    1.738093] NET: Registered protocol family 10
> [    1.745978] Segment Routing with IPv6
> [    1.752070] sit: IPv6, IPv4 and MPLS over IPv4 tunneling driver
> [    1.763404] NET: Registered protocol family 17
> [    1.768122] can: controller area network core (rev 20170425 abi 9)
> [    1.774665] NET: Registered protocol family 29
> [    1.779375] can: raw protocol (rev 20170425)
> [    1.783794] can: broadcast manager protocol (rev 20170425 t)
> [    1.789717] can: netlink gateway (rev 20170425) max_hops=1
> [    1.796056] Key type dns_resolver registered
> [    1.804659] cpu cpu0: dev_pm_opp_get_opp_count: OPP table not found (-19)
> [    1.812680] Registering SWP/SWPB emulation handler
> [    1.840308] imx_thermal 2000000.aips-bus:tempmon: Industrial CPU temperature grade - max:105C critical:100C passive:95C
> [    1.853774] snvs_rtc 20cc000.snvs:snvs-rtc-lp: setting system clock to 1970-01-01 06:28:40 UTC (23320)
> [    1.864031] vdd3p0: disabling
> [    1.867222] ALSA device list:
> [    1.870320]   No soundcards found.
> [    1.888032] EXT4-fs (mmcblk0p2): mounting ext3 file system using the ext4 subsystem
> [    1.937709] EXT4-fs (mmcblk0p2): mounted filesystem with ordered data mode. Opts: (null)
> [    1.946051] VFS: Mounted root (ext3 filesystem) on device 179:2.
> [    1.961597] devtmpfs: mounted
> [    1.967067] Freeing unused kernel memory: 1024K
> [    2.577839] systemd[1]: System time before build time, advancing clock.
> [    2.650290] systemd[1]: systemd 234 running in system mode. (-PAM -AUDIT -SELINUX +IMA -APPARMOR +SMACK +SYSVINIT +UTMP -LIBCRYPTSETUP -GCRYPT -GNUTLS +ACL +XZ -LZ4 -SECCOMP +BLKID -ELFUTILS +KMOD -IDN2 -IDN default-hierarchy=hybrid)
> [    2.672374] systemd[1]: Detected architecture arm.
> 
> Welcome to NXP i.MX Release Distro 4.9.88-2.0.0 (rocko)!
> 
> [    2.718689] systemd[1]: Set hostname to <imx6ulevk>.
> [    3.566331] systemd[1]: Listening on Journal Socket (/dev/log).
> [  OK  ] Listening on Journal Socket (/dev/log).
> [    3.608105] systemd[1]: Created slice User and Session Slice.
> [  OK  ] Created slice User and Session Slice.
> [    3.647885] systemd[1]: Listening on Network Service Netlink Socket.
> [  OK  ] Listening on Network Service Netlink Socket.
> [    3.687868] systemd[1]: Reached target Swap.
> [  OK  ] Reached target Swap.
> [    3.729487] systemd[1]: Created slice System Slice.
> [  OK  ] Created slice System Slice.
> [    3.771217] systemd[1]: Created slice system-serial\x2dgetty.slice.
> [  OK  ] Created slice system-serial\x2dgetty.slice.
> [    3.820091] systemd[1]: Listening on Journal Socket.
> [  OK  ] Listening on Journal Socket.
>          Starting Remount Root and Kernel File Systems...
> [  OK  ] Started Dispatch Password Requests to Console Directory Watch.
>          Mounting Temporary Directory (/tmp)...
> [  OK  ] Listening on /dev/initctl Compatibility Named Pipe.
> [  OK  ] Listening on S[    4.046870] EXT4-fs (mmcblk0p2): re-mounted. Opts: (null)
> yslog Socket.
>          Starting Journal Service...
>          Starting Apply Kernel Variables...
>          Mounting FUSE Control File System...
> [  OK  ] Reached target Slices.
>          Mounting Kernel Debug File System...
> [  OK  ] Listening on udev Control Socket.
> [  OK  ] Started Forward Password Requests to Wall Directory Watch.
> [  OK  ] Reached target Paths.
> [  OK  ] Listening on udev Kernel Socket.
> [  OK  ] Reached target Remote File Systems.
> [  OK  ] Created slice system-getty.slice.
> [  OK  ] Mounted Kernel Debug File System.
> [  OK  ] Mounted FUSE Control File System.
> [  OK  ] Mounted Temporary Directory (/tmp).
> [  OK  ] Started Journal Service.
> [  OK  ] Started Remount Root and Kernel File Systems.
> [  OK  ] Started Apply Kernel Variables.
>          Starting Create Static Device Nodes in /dev...
>          Starting udev Coldplug all Devices...
>          Starting Flush Journal to Persistent Storage...
> [  OK  ] Started Create Static Device Nodes in /dev.
> [    4.936917] systemd-journald[144]: Received request to flush runtime journal from PID 1
>          Starting udev Kernel Device Manager...
> [  OK  ] Reached target Local File Systems (Pre).
>          Mounting /var/volatile...
> [  OK  ] Started Flush Journal to Persistent Storage.
> [  OK  ] Mounted /var/volatile.
>          Starting Load/Save Random Seed...
> [  OK  ] Reached target Local File Systems.
>          Starting Create Volatile Files and Directories...
> [  OK  ] Started udev Kernel Device Manager.
> [  OK  ] Started Load/Save Random Seed.
> [  OK  ] Started Create Volatile Files and Directories.
>          Starting Update UTMP about System Boot/Shutdown...
>          Starting Network Time Synchronization...
> [  OK  ] Started Update UTMP about System Boot/Shutdown.
> [  OK  ] Started Network Time Synchronization.
> [  OK  ] Reached target System Time Synchronized.
> [  OK  ] Created slice system-systemd\x2dbacklight.slice.
>          Starting Load/Save Screen Backlight…ightness of backlight:backlight...
> [  OK  ] Started udev Coldplug all Devices.
> [  OK  ] Found device /dev/ttymxc0.
> [  OK  ] Started Load/Save Screen Backlight Brightness of backlight:backlight.
> [  OK  ] Reached target System Initialization.
>          Starting Network Service...
> [  OK  ] Started Daily Cleanup of Temporary Directories.
> [  OK  ] Reached target Timers.
> [  OK  ] Listening on D-Bus System Message Bus Socket.
> [  OK  ] Reached target Sockets.
> [  OK  ] Reached target Basic System.
> [  OK  ] Started System Logging Service.
> [  OK  ] Started Serial Getty on ttymxc0.
> [  OK  ] Reached target Containers.
>          Starting Login Service...
> [  OK  ] Started Kernel Logging Service.
> [  OK  ] Started TEE Supplicant.
> [  OK  ] Started D-Bus System Message Bus.
> [  OK  ] Started Getty on tty1.
> [  OK  ] Reached target Login Prompts.
> [  OK  ] Started Network Service.
> [  OK  ] Listening on Load/Save RF Kill Switch Status /dev/rfkill Watch.
> [  OK  ] Reached target Network.
>          Starting Network Name Resolution...
> [  OK  ] Started Login Service.
> [  OK  ] Started Network Name Resolution.
> [  OK  ] Reached target Host and Network Name Lookups.
> [  OK  ] Reached target Multi-User System.
>          Starting Update UTMP about System Runlevel Changes...
> [  OK  ] Started Update UTMP about System Runlevel Changes.
> 
> NXP i.MX Release Distro 4.9.88-2.0.0 imx6ulevk ttymxc0
> 
> imx6ulevk login: root
> root@imx6ulevk:~# ./optee_examples/ca/optee_example_hello_world 
> [   21.528209] Bad mode in prefetch abort handler detected
> [   21.533543] Internal error: Oops - bad mode: 0 [#1] SMP ARM
> [   21.539157] Modules linked in:
> [   21.542283] CPU: 0 PID: 213 Comm: optee_example_h Not tainted 4.12.4 #19
> [   21.549022] Hardware name: Freescale i.MX6 Ultralite (Device Tree)
> [   21.555245] task: d78aac00 task.stack: d8fe2000
> [   21.559819] PC is at 0x9a000708
> [   21.563034] LR is at optee_smccc_smc+0x44/0x4c
> [   21.567529] pc : [<9a000708>]    lr : [<c06e0214>]    psr: 600601d6
> [   21.567529] sp : d8fe3ce0  ip : d8fe3d38  fp : d8fe3d5c
> [   21.579052] r10: d8ff0900  r9 : d78f7f40  r8 : 00000101
> [   21.584316] r7 : 00000000  r6 : 00000000  r5 : 00000000  r4 : 00000000
> [   21.590882] r3 : 00000000  r2 : 9fe00000  r1 : 00000000  r0 : 32000004
> [   21.597453] Flags: nZCv  IRQs off  FIQs off  Mode MON_32  ISA ARM  Segment none
> [   21.604806] Control: 10c5387d  Table: 98f5006a  DAC: d8c993c0
> [   21.610591] Process optee_example_h (pid: 213, stack limit = 0xd8fe2210)
> [   21.617334] Stack: (0xd8fe3ce0 to 0xd8fe4000)
> [   21.621751] 3ce0: 32000004 00000000 9fe00000 00000000 00000000 00000000 00000000 00000000
> [   21.629992] 3d00: 00000101 d78f7f40 d8ff0900 d8fe3d5c d8fe3d38 d8fe3ce0 c06e0214 9a000708
> [   21.638229] 3d20: 600601d6 ffffffff d8c993c0 d8fe3db0 d8c993cc d8ff0040 00000000 00000000
> [   21.646467] 3d40: 00000000 00000000 d8fe3db0 00000000 d8fe3de4 d8fe3d60 c06e0884 c06e01dc
> [   21.654703] 3d60: 00000000 00000000 00000000 00000000 d8fe3db0 c01c4738 32000004 00000000
> [   21.662940] 3d80: 9fe00000 00000000 00000000 00000000 00000000 00000000 d8c993e0 d8c993e0
> [   21.671178] 3da0: 00000000 00000000 d8fe3da8 d8fe3da8 c06e0ac0 00006bdc c06e07a4 d8fe3e58
> [   21.679416] 3dc0: d8ff0800 d8fe3e58 d8ff0800 00000000 d8ff0040 00000101 d8fe3e24 d8fe3de8
> [   21.687653] 3de0: c06e0ad8 c06e07fc 00000000 d7880380 dfe00000 9fe00000 d783d898 beb2ab28
> [   21.695892] 3e00: beb2ab60 00000000 d7880380 d8fe3e28 d8fe3e58 d8ff0040 d8fe3ed4 d8fe3e28
> [   21.704130] 3e20: c06dec8c c06e09f0 00000000 c0e66bc0 00098fed 00000041 d9b1fda0 b6faf000
> [   21.712367] 3e40: b6fb2000 00000001 d783d898 00000054 000000b8 00000000 00f2aa8a e4115024
> [   21.720604] 3e60: 0200e2ab 1bc5d5a5 00000000 00000000 00000000 00000000 00000000 00000000
> [   21.728841] 3e80: 00000000 00000000 00000000 00000004 beb2ab28 00000000 000000b8 00000000
> [   21.737080] 3ea0: d8fe3efc d8fe3eb0 c0116e88 d8d14ae8 d8ff6900 beb2ab18 8010a402 00000003
> [   21.745317] 3ec0: d8fe2000 00000000 d8fe3f7c d8fe3ed8 c021500c c06de078 c0e0973c b6fb0c5c
> [   21.753555] 3ee0: d8fe3fb0 10c5387d 00000000 b6ff3fac d8fe3fac d8fe3f00 c01013cc c0116cec
> [   21.761795] 3f00: c0211ca8 0001839c c0221ad4 d7a63000 d7a63000 d8ff6900 00000020 d8d14ae8
> [   21.770033] 3f20: d8fe2000 d8ff6908 d8fe3f4c d8fe3f38 c0211ca8 c01faefc d78be254 00000003
> [   21.778270] 3f40: d8fe3f94 d8fe3f50 c020122c c0211c50 00000000 d8ff6900 d8ff6900 beb2ab18
> [   21.786509] 3f60: 8010a402 00000003 d8fe2000 00000000 d8fe3fa4 d8fe3f80 c0215950 c0214f90
> [   21.794747] 3f80: 00000003 beb2ac18 00000000 00010665 00000036 c0107d64 00000000 d8fe3fa8
> [   21.802984] 3fa0: c0107ba0 c021591c beb2ac18 00000000 00000003 8010a402 beb2ab18 00000003
> [   21.811222] 3fc0: beb2ac18 00000000 00010665 00000036 00000000 00000000 b6ff3fac beb2abfc
> [   21.819458] 3fe0: b6fc2028 beb2aa7c b6fb0d60 b6f3945c 60060010 00000003 00000000 00000000
> [   21.827663] Backtrace: 
> [   21.830207] [<c06e01d0>] (optee_smccc_smc) from [<c06e0884>] (optee_do_call_with_arg+0x94/0x110)
> [   21.839060] [<c06e07f0>] (optee_do_call_with_arg) from [<c06e0ad8>] (optee_open_session+0xf4/0x1c4)
> [   21.848165]  r8:00000101 r7:d8ff0040 r6:00000000 r5:d8ff0800 r4:d8fe3e58
> [   21.854932] [<c06e09e4>] (optee_open_session) from [<c06dec8c>] (tee_ioctl+0xc20/0x10f8)
> [   21.863084]  r10:d8ff0040 r9:d8fe3e58 r8:d8fe3e28 r7:d7880380 r6:00000000 r5:beb2ab60
> [   21.870948]  r4:beb2ab28
> [   21.873559] [<c06de06c>] (tee_ioctl) from [<c021500c>] (do_vfs_ioctl+0x88/0x98c)
> [   21.881017]  r10:00000000 r9:d8fe2000 r8:00000003 r7:8010a402 r6:beb2ab18 r5:d8ff6900
> [   21.888880]  r4:d8d14ae8
> [   21.891480] [<c0214f84>] (do_vfs_ioctl) from [<c0215950>] (SyS_ioctl+0x40/0x5c)
> [   21.898853]  r10:00000000 r9:d8fe2000 r8:00000003 r7:8010a402 r6:beb2ab18 r5:d8ff6900
> [   21.906716]  r4:d8ff6900
> [   21.909326] [<c0215910>] (SyS_ioctl) from [<c0107ba0>] (ret_fast_syscall+0x0/0x3c)
> [   21.916958]  r8:c0107d64 r7:00000036 r6:00010665 r5:00000000 r4:beb2ac18 r3:00000003
> [   21.924751] Code: bad PC value
> [   21.927858] ---[ end trace 51799be90728efb0 ]---
> Segmentation fault
> root@imx6ulevk:~#`]

Please help me in making the kernel 4.12.4 work with optee as it does with 4.9.88.