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