Waldemar Brodkorb 7e7728fda0 hsdk: allow compressed kernel 4 lat temu
..
synopsys-hsdk 7e7728fda0 hsdk: allow compressed kernel 4 lat temu
synopsys-nsim 08317fa541 rework hardware and C library settings 6 lat temu