Yes indeed it does using the CE 9.0.1 official build . I have started this Leia build from scratch i.e. not restoring to it a previous Krypton backup so that ensures I do not carry over lots of baggage from old stranded dependencies etc. ot indeed any non compatitble old addons. SO I do prefer a nice clean start with a new KODI system.
One question so far is regarding the option in the System Settings for the special configurations. What is the 4.2.2 option for. Does that option if enabled force the system to not output 4.4.4. or maybe 10 bit too and downgrade it to 4.2.2. 8 bit for equipment that cannot take 4.4.4. like many projectors etc. ?? There is no inbuilt help info on that option and it is ambigious as to what exactly it does.
I do want the full 4.4.4. HDR and 10 bit output to my fully capable TV when available. So I have recently purchased a special high quality, not cheap (about US$60), Gofanco Prophecy 2 in - 1 out HDMI 2a splitter that has an astounding 18 Gbps bandwidth capability and supports full 4K HDR and 4.4.4. chroma too. Amazingly this unit also has the means to downscale output to 1080 on just one outport port with a non UHD display or AVR attached. It has EDID editing DIL switches too for many different options to meet your needs. Works a treat, so I can now enjoy the full UHD, HDR, 4.4.4. output to my TV just about as it would be if connected directly to my TX9 Pro box, and cAn now use the HDMI connection to my non UHD/HDR Denon AVR so I can enjoy full spec high quality passthrough audio modes like DTS HD MA etc which were not available to me running the audio via FIbre Optic Toslink connection from my TV to the AVR Toslink input. This Gofanco splitter does just about all I need but not Dolby Vision HDR as yet, though there is a means to firmware upgrade these splitters so maybe a firmwware update may be released by Gofanco that can facilitate Dolby Vision in the future even in restricted to 8 bit 4.2.2. in such a high spec mode ??
So I can happily recommentd the Gofanco Prophecy splitter. Other alternatives are available of course like the SIIG almost identical high spec splitter, which I am certain uses exactly the same hardware.and has the same features but is about $10 dearer generally.
You cannot do 4:4:4 10-bit, this will actually go over the 18Gbps limit of HDMI 2.0b. You can either do 4:2:2 10/12-bit or 4:4:4 8-bit.
I actually have the below HDMI extractor because my Pioneer receiver only supports 1080p and can confirm it will work with full 18Gbps 4k HDR content and DTS-MA/True HD audio. It should support both HDR10 and Dolby Vision.
https://www.amazon.com/gp/product/b0755tb82q/ref=ppx_yo_dt_b_search_asin_title?ie=utf8&psc=1