(*
	The following build commands assumes that the ARM folder is reachable from the search path.
	If this is not the case replace all ARM/ by full qualified path to folder ARM/
*)

(* Execute this command to use 1024 x 768 @ 62 Hz display settings *)
FSTools.CreateFile -c -r Zedboard.DisplayLinear.Replacements.tmp
DisplayLinear.Width = 1024;
DisplayLinear.Height = 768;
DisplayLinear.PlClkDiv0 = 10;
DisplayLinear.PlClkDiv1 = 15;
DisplayLinear.PlClkDiv2 = 3;
DisplayLinear.HorizFrontPorch = 24;
DisplayLinear.HorizSyncWidth = 136;
DisplayLinear.HorizBackPorch = 160;
DisplayLinear.HorizSyncPolarity = TRUE;
DisplayLinear.VertFrontPorch = 3;
DisplayLinear.VertSyncWidth = 6;
DisplayLinear.VertBackPorch = 29;
DisplayLinear.VertSyncPolarity = TRUE;
~

(* Execute this command to use 800 x 480 @ 65 Hz display settings *)
FSTools.CreateFile -c -r Zedboard.DisplayLinear.Replacements.tmp
DisplayLinear.Width = 800;
DisplayLinear.Height = 480;
DisplayLinear.PlClkDiv0 = 10;
DisplayLinear.PlClkDiv1 = 30;
DisplayLinear.PlClkDiv2 = 6;
DisplayLinear.HorizFrontPorch = 40;
DisplayLinear.HorizSyncWidth = 48;
DisplayLinear.HorizBackPorch = 88;
DisplayLinear.HorizSyncPolarity = TRUE;
DisplayLinear.VertFrontPorch = 13;
DisplayLinear.VertSyncWidth = 3;
DisplayLinear.VertBackPorch = 32;
DisplayLinear.VertSyncPolarity = TRUE;
~

System.DoCommands

(* 1. Mount Filesystems *)
FSTools.Mount MINOS RelativeFileSystem ARM/Minos~
FSTools.Mount ENET RelativeFileSystem ARM/Enet~
FSTools.Mount ZBL RelativeFileSystem ARM/zbl~
FSTools.Mount ZYNQ RelativeFileSystem ARM/ARM.A2 ~
FSTools.Mount USB RelativeFileSystem ARM/USB ~

(* Cleanup bootloader-specific files *)
FSTools.DeleteFiles WORK:*.Syb WORK:*.arm WORK:Init.Bin WORK:Zbl.Bin WORK:BOOT.BIN ~

(*
	Build everything required for the bootloader
*)

(* 2. Build Host Tools *)
(* 2.1. Compilation Tools *)
Compiler.Compile  --mergeSections
	ZBL:/tools/ZynqTools.Mod
	MinosLinker.Mod
~

(* 2.2. Command Tools *)
Compiler.Compile  --mergeSections
	TFTPServer.Mod
	ZBL:/tools/BlCommands.Mod
	ZBL:/tools/BlTools.Mod
~

(* 3. Compile Bootloader
The bootloader is composed of 3 parts:
	- the bootstrap image, which will load the actual bootloader application
	- the bootloader core, which implements the command mechanism
	- additional feature modules, which implement transfer protocols, programming destinations and checksum algorithms
*)
(* 3.2. Build Bootstrap Image *)
(* The first step does not depend on the board. *)
Compiler.Compile -p=ARMA2 --metaData=simple
	ZBL:/Boot.Mos
~
Linker.Link --fileName=Init.Bin --displacement=0H -a
	Boot
~
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=Bootstrap Zedboard ~

MinosLinker.Link Init.Bin 0H Zbl.Bin
Platform Board TclInit ZynqInitializer FPE64 Builtins PsUartMin Trace TraceDevice Caches Memory 
MemoryMapping Interrupts Bit Clocks KernelUtils GlobalTimer Kernel Utils Strings Heaps OFS Modules 
SdEnvironment Sd Disks SdDisks SdControllers OFSDiskVolumes Bootstrap ~

ZynqTools.GenerateBootROM Zbl.Bin ~

(* 3.3. Build Bootloader Core *)
Release.Build -f=ZBL:/BootloaderRelease.Tool --build --only='EnetMinos Enet Bootloader' Zedboard ~

(* 3.4. Build Additional Features *)
(* Additional packages give more features to the bootloader. Available packages: *)

(* o A2 Boot Configuration Programmer *)
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=A2ConfigProgrammer Zedboard ~

(* o TFTP Loader *)
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=TFTPLoader Zedboard ~

(* o XMODEM loader *)
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=XModemLoader Zedboard ~

(* o ZYNQ-7000 FPGA Programmer *)
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=ZynqFpgaProgrammer Zedboard ~

(* o MD5 Checksum *)
Release.Build -b -f=ZBL:/BootloaderRelease.Tool --only=MD5Checksum Zedboard ~

(*
	Build everything required for the A2 on Zynq
*)
FSTools.CreateDirectory build/ ~
FSTools.DeleteFiles build/* ~
Release.Build -b --path='build/' -f=ZYNQ:/ARM.Release.Tool
	-o='--mergeSections --traceModule=Trace --noInitLocals --useFPU64' --only=Kernel
	ZynqDynamic
~
Release.Build -b --path='build/' -f=ZYNQ:/ARM.Release.Tool --only='System SD BootConsole' ZynqDynamic ~

Release.Build -b -z --path='build/' -f=ZYNQ:/ARM.Release.Tool
	--only='System SystemExt FpgaDisplay Kernel Math SD Shell SystemTools Usb DMA FS Profiler Crypto GUI Compiler Archives Gfx'
	--exclude="Network Enet Inga" ZynqDynamic ~

Compiler.Compile -p=ARMA2 --mergeSections  --useFPU64 --replacements=Zedboard.DisplayLinear.Replacements.tmp --destPath='build/'
ZYNQ:/Zynq.DisplayLinear.Mod
~


Linker.Link --fileName=A2.Bin --displacement=100000H -a --path=build/
Runtime Initializer Platform FPE64 Builtins Trace BootConfig PsUartMin PsUart TraceDevice PrivateWatchdog Machine Heaps Modules Objects Kernel KernelLog Plugins
Streams Pipes Commands Reals Clock Dates Strings Files Disks Reflection TrapWriters Traps Locks Options PsConfig SdEnvironment
Sd SdDisks SdControllers Caches DiskVolumes DiskFS BitSets StringPool ObjectFile Diagnostics GenericLinker Loader
BootConsole ~

(* ShellController Shell Displays AcAxisIo StreamVideoOut AxiDma DisplayLinear UTF8Strings CLUTs Raster WMRectangles
WMRasterScale SoundDevices Configuration XMLObjects XML DynamicStrings XMLScanner XMLParser Inflate CRC Unzip FP1616 WMEvents
Texts Archives Codecs WMGraphics WMDefaultFont WMFontManager OpenTypeInt OpenTypeScan OpenType WMOTFonts WMBitmapFont WMOberonFonts
Debugging WMMessages WMWindowManager Inputs WMGraphicUtilities WMDefaultWindows WindowManager PNGDecoder SystemTools ProcessInfo
ProcessInfo0 SystemVersion Localization Repositories UnicodeProperties TextUtilities Types Models WMProperties Events WMDropTarget
WMComponents WMStandardComponents WMTrees WMMenus IngaObjects IngaContexts WMRestorable IngaViews Math GfxMatrix GfxPaths
GfxRegions GfxImages GfxFonts Gfx GfxRaster GfxBuffer IngaContexts2d IngaImshow Random MathL FoxArrayBase IngaArrays IngaLine
Buffers IngaRealTimePlot IngaLinePlot IngaExampleLayer ComponentViewer IngaScale FSTools WMTabComponents MainMenu ~ *)

(* 5. Preparing the Boot SD Card*)
(* The installation is done in a virtual disk that will be copied to the SD card: *)

VirtualDisks.Create build/Zedboard.ZynqA2.img 819200 512 ~
VirtualDisks.Install -b=512 VDISK0 build/Zedboard.ZynqA2.img ~

(* First we create the 2 partitions needed by the bootloader: *)
Partitions.WriteMBR VDISK0#0 BootManagerMBR.Bin BootManagerTail.Bin ~
Partitions.Create VDISK0#1 11 64 ~
Partitions.Create VDISK0#2 76 64 ~
Partitions.Format VDISK0#1 FatFS Quick ~
Partitions.Format VDISK0#2 AosFS ~

(* Then we install the bootloader: *)
FSTools.Mount BLFATFS FatFS VDISK0#1 ~
FSTools.Mount BLAOSFS AosFS VDISK0#2 ~

(* Copy Bootstrap Image *)
FSTools.CopyFiles -o WORK:/BOOT.BIN => BLFATFS:/BOOT.BIN ~

(* Copy the bootloader core: *)
FSTools.CopyTo BLAOSFS:/ WORK:/
	Bootloader.arm Checksum.arm Enet.arm EnetArp.arm EnetBase.arm EnetEmacPs7.arm EnetEnvironment.arm EnetIcmp.arm
	EnetInterfaces.arm EnetPhy.arm EnetStreams.arm EnetTftp.arm EnetTiming.arm EnetTrace.arm EnetUdp.arm EnetUdpChannels.arm
	EnetUtils.arm Loader.arm Programmer.arm StreamReaders.arm StreamWriters.arm PsUartInterrupts.arm PsUart.arm UncachedHeap.arm
	OFSStreams.arm PrivateWatchdog.arm XModem.arm XModemLoader.arm
~

(* Boot configuration for the specific hardware *)
FSTools.CopyFiles -o ARM/Zedboard.bootconfig.txt => BLAOSFS:bootconfig ~

(* Copy additionnal bootloader packages: *)
(* o TFTP: *) FSTools.CopyTo BLAOSFS:/ WORK:/ TFTPLoader.arm ~
(* o ZYNQ-7000 FPGA Programmer: *) FSTools.CopyTo BLAOSFS:/ WORK:/ ZynqFpgaProgrammer.arm ~
(* o MD5 Checksum: *) FSTools.CopyTo BLAOSFS:/ WORK:/ MD5.arm MD5Checksum.arm ~
(* o A2ConfigProgrammer: *) FSTools.CopyTo BLAOSFS:/ WORK:/ A2ConfigProgrammer.arm ~

(* Setup bootloader initialization script *)
FSTools.CreateFile BLAOSFS:/init.txt netstart 10.3.34.8 255.255.255.0 0.0.0.0
timeout 1
setinput UDP
~

(* Setup bootloader auto script *)
FSTools.CreateFile BLAOSFS:/auto.txt deploy bs ZynqFpga
deploy bootconfig A2Config
deploy a2 memory 100000H 0 1
start
~

FSTools.CopyFiles
	WORK:/A2.Bin => BLAOSFS:/a2
	ZYNQ:Zedboard.VideoOutVga.bin => BLAOSFS:/bs
~
FSTools.Unmount BLFATFS ~
FSTools.Unmount BLAOSFS ~

(* Now we create a partition for A2 itself: *)
Partitions.Create VDISK0#3 76 256 ~
Partitions.Format VDISK0#3 AosFS ~
FSTools.Mount ZYNQA2 AosFS VDISK0#3 ~
ZipTool.ExtractAll --prefix=ZYNQA2: --sourcePath=build/ --overwrite --silent
	BootConsole.zip DMA.zip FpgaDisplay.zip FS.zip Kernel.zip Math.zip
	SD.zip Shell.zip System.zip SystemExt.zip SystemTools.zip Usb.zip 
	Profiler.zip GUI.zip Gfx.zip Crypto.zip
	Compiler.zip PET.zip Zip.zip
~

FSTools.CopyFiles -o
	build/DisplayLinear.Gof => ZYNQA2:/DisplayLinear.Gof
	build/DisplayLinear.Sym => ZYNQA2:/DisplayLinear.Sym
~

FSTools.Unmount ZYNQA2 ~
VirtualDisks.Uninstall VDISK0 ~

System.Show 'Zedboard Zynq A2 image has been built!' ~
FSTools.CloseFiles build/Zedboard.ZynqA2.img ~
~

#
#	Copy all release files to already existing partitions on SD card
#
WinDisks.Install E: RW ~
VirtualDisks.Install -b=512 VDISK0 build/Zedboard.ZynqA2.img ~

System.DoCommands

FSTools.Mount BOOT FatFS VDISK0#1 ~
FSTools.Mount BL AosFS VDISK0#2 ~
FSTools.Mount AOS AosFS VDISK0#3 ~

FSTools.Mount SDBOOT FatFS PhysicalDrive1#1 ~
FSTools.Mount SDBL AosFS PhysicalDrive1#2 ~
FSTools.Mount SDAOS AosFS PhysicalDrive1#3 ~

FSTools.CopyFiles -o BOOT:*.* => SDBOOT:*.* ~
FSTools.CopyFiles -o BL:*.* => SDBL:*.* ~
FSTools.CopyFiles -o AOS:*.* => SDAOS:*.* ~

FSTools.Unmount BOOT ~
FSTools.Unmount BL ~
FSTools.Unmount AOS ~
FSTools.Unmount SDBOOT ~
FSTools.Unmount SDBL ~
FSTools.Unmount SDAOS ~

(* this is to uninstall Zynq A2 image *)
VirtualDisks.Uninstall VDISK0 ~
WinDisks.Uninstall "PhysicalDrive1" ~
~

#
#	!!! Write the whole release image to SD card !!!
#	!!! MAKE SURE THE RIGHT PhysicalDriveX IS USED !!!
#
Partitions.FileToPartition PhysicalDrive1#0 build/Zedboard.ZynqA2.img 0 819200 ~

#
# Compiler options for ARM
#
-p=ARMA2 --mergeSections  --useFPU64 --destPath='build/'