afaik, yung ondemand e depende sa load ng cpu yung iseset nyang frequency -- yung userspace ata yung pwede mong iset mismo ung frequency na gusto mo pero wala gaano gumagamit ng dalawang yan ngayon. schedutil nalang set mo dyan boss ^^ . sana makatulong 😅