How to write u-boot bootloader for Jetson TX1

[Gmail TM <takeshi.mutoh%gmail.com@localhost>]

Now, I try to install NetBSD for Jetson TX1 development board.


I check some web pages including NetBSD/evbarm on NVIDIA Tegra https://wiki.netbsd.org/ports/evbarm/tegra/ ,
but there aren’t detail infomation how to install u-boot for TX1

I try to install pkgsrc/sysutils/u-boot-jetson-tx1, but I can’t boot TX1 succesfully.

I try command like below with recovery mode :
	$ sudo ./flash.sh -L u-boot-dtb.bin jetson-tx1 mmcblk0p1
This result, I see this error message in boot sequence.
	(snip)
  [0000.434] Bootloader DTB Load Address: 0x83000000
  [0000.462] Kernel DTB Load Address: 0x83100000
  [0000.467] Bootloader is not valid
  [0000.470] Error in NvTbootLoadBinary: 0x14 !
  [0000.474] GPT: Partition NOT found ! 
  [0000.478] Find Partition via GPT Failed
  [0000.481] Find Partition via PT Failed
  [0000.485] function NvTbootGetBinaryOffsets: 0x1 error
  [0000.489] Error in NvTbootLoadBinary: 0x1 !
  [0000.493] Error is 1 


Does anyone know how to install u-boot for TX1?

Thanks in advance.


PS.
Images at http://www.invisible.ca/arm/ is great!!

TX1 with original bootloader can boot kernel, but stop with this error message
  https://drive.google.com/file/d/1YUyBoVIh2lcTVmDxfm4wOKwbmGzupwsw/view
	(snip)
  [   1.0000000] panic: kernel debugging assertion "bootconfig.dramblocks <= DRAM_BLOCKS" failed: file "/home/source/ab/HEAD/src/sys/arch/aarch64/aarch64/aarch64_machdep.c", line 198 
  [   1.0000000] cpu0: Begin traceback...
  [   1.0000000] trace fp ffffffc00000ab80
  address 0xffffffc00000ab80 is invalid
  address 0xffffffc00000ab88 is invalid
  [   1.0000000] cpu0: End traceback...
  Stopped in pid 0.1 (system) at  ffffffc0000553a4:       address 0xffffffc0000553
  a4 is invalid
  .insn   0x00000000      # undefined


Does this mean that I can boot TX1 original bootloader with correct extlinux.conf or boot.scr?


This is my trial but in Japanese only
	https://scrapbox.io/BSD/NVIDIA_Jetson_TX1%E3%81%AE%E3%81%94%E7%B4%B9%E4%BB%8B