I seem to be missing just enough kernel sources and/or history to accomplish my goal.
1. The linux-te-3.9 repository builds a kernel that I am able to boot successfully. This could serve as a useful basis for moving forward, except this repository was created as a 'dump' of a kernel checkout, and it isn't clear to me _which_ checkout formed the basis of the linux-te-3.9 repository.
2. The link,
https://github.com/Trenz-Electronic/TE0720-GigaZee-Reference-Designs/tree/master/TE0720-01_TE0701-03_Base_Vivado-2014.1/ready_for_download contains a 3.12.0 kernel image which I can boot, but I haven't been able to find either sources or a repository with this kernel version.
3. The linux-xlnx kernel compiles, yet I haven't been able to successfully boot it; the system hangs at "Starting Linux ...". Is there a particular branch of this kernel that is recommended for the TE0720?
4. Out of curiosity I gave the 'linux-stable' kernel a try, using some of the .dts files found in linux-xlnx. Same situation with hanging at boot as for the linux-xlnx image.
My primary goal for the time being is to fix the clock precision of clock_gettime() and associated functions. There are a number of threads on the topic, such as
http://forums.xilinx.com/t5/Embedded-Linux/Zynq-kernel-debugging-using-FTRACE-timestamp-resolution/m-p/414533#M7888%29... It seems that Kernel 3.12 _should_ have the CONFIG_ARM_GLOBAL_TIMER option available, but it doesn't seem to be present in the (binary) 3.12.0 image posted earlier in this forum. The linux-stable and linux-xlnx have this option but of course cannot seem to boot.
Therefore my questions are:
* How to get a booting kernel image that has CONFIG_ARM_GLOBAL_TIMER enabled?
* Which devicetree image should I be using for the TE0720-01-2IF?
- TE0720-01-2IF.dts (boots)
- TE0720-01-xxF.dts (does not boot; is this newer than TE0720-01-2IF.dts?)
- TE0720-02.dts (does this apply to the -01-2IF?)
- One of the various zynq-*.dts files from linux-xlnx?
* Do any of the .dts files that work with the TE0720 actually define ps7_globaltimer_0 as discussed in the Xilinx forum linked above?
Thank you for any help.
Dave Oostdyk