Hi everyone
Here's a "guide" on how to create a 4k timelapse from raw images, i know Zeek posted a guide on how to achieve this by using raw video but this is a different way on how to do it, i used raw (cr2) files that in my opinion give better results, this is possible by using paid software or free software, you can use only one or several programs (paid/free) english is not my native language so apologies in advance, also this "guide" assumes you know a bit about video/image editing.
in this particular situation im using 1200 images and stabilization/denoising was used in After Effects, Davinci Resolve and Premiere Pro
1st method - After effects (paid software)

you can use after effects to do everything but you'll need a fast PC, i loaded all 1200 images and camera raw popped upp and used it to colour correct the image and apply all changes to every image, after that created a new sequence (3840x2140) and dragged the images there, then i resized/cropped everything to fit the 4k dimensions, after that i exported the video but on my PC it took ages (at one time it was showing it was going to take 7 hours), i cancelled after 30 minutes and checked the uncomplete video and the quality was great, it works but its slow.
2nd method - DaVinci Resolve (free)

Like After effects everything can be done with Davinci Resolve, in some ways its simpler, when importing it detects that all images are part of a seguence and you only "one" file, imported it into a 4k timeline and color corrected/resized/cropped it and then exported it, but much like After Effects its slow and it took a bit more time to figure out how to edit since im more used to after effects and premiere, but it can be done and with same output quality as after effects.
3rd method - Lightroom (paid software)

Lightroom can also be used to create a timelapse,i loaded all the images, colour corrected/resized/cropped one image and synced all changes to the rest of the images, after that selected the "create slideshow" option and here you have to spend some time to disable some of its options like background colour etc etc, i disabled everything since i only wanted to show the images in the final video, there's no option to set a framerate but since i knew the file @30fps would have a 38s duration i loaded a 38s wav music file and checked the match video to music duration

lightroom only allows to export to 1080p and like after effects and davinci resolve its slow but it works.
4th method - Lightroom + Premiere Pro (paid software)
I used lightroom to batch colour correct/resize/crop and export everything to 3840x2160, loaded all the images in to premiere pro and exported to 4k at 30fps... using this combination allowed me to create the final 4k video in 2 hours.
5th method - RawTherapee + DaVinci Resolve (free software)
Like the 4th method i used raw therapee to batch colour correct/resize/export the images to 4k resolution, after that i loaded everything in Davinci Resolve on a 4k timeline and exported it, its faster than using any of the first 3 methods but overall slower than using lightroom and Premiere Pro but quality is the same.
i didnt try other free software but i guess you can do the same by using RawTherapee or DarkTable to process/export the images and the use Kdenlive/openshot/Shotcut to creat the video.
my method:
Used Lightroom to process/export the images to 4416x2484, i imported all the images in Premiere Pro and created a 4k timeline, when importing the images i choose not to resize to 4k timeline dimensions as i wanted to have a 13% zoom out effect from 4416x2484 to 3480x2160, added some music and exported it.
what about Linux?
I have a dualboot windows/ubuntu PC and you can create the same using free tools on linux, RawTherapee works very well on Linux, DarkTable i havent tried on Linux but works as well, for creating the video you can use Kdenlive, i dont recomend Davinci Resolve on linux because it crashes/hangs a lot and not all formats are supported.
and here's the video, watch in 4k when available:
https://www.magiclantern.fm/forum/index.php?topic=24961.0