I have the build enviroment set up, I did not know about the RT patch for latest kernel. I 'll look in to that and let you know what happens.
The thing is that in kernel menuconfig which is invoked by the build script there is no option to set up tick frequency. There is just one option to setup tickless kernel or not (I 'm wondering what will happen if unchecked since no tick frequency options are available). From a little diging around in varius .config files I could find there are no CONFIG_HZ=100 or 250 or 500 or 1000 lines
neither CONFIG_HZ_100=y or n or not set. I tried to set this up in linux_sunxi/.config but it seems it get overwriten by the script. Could you point me to the proper .config or .config template being used by armbian?