compilar com systemC
alteracao para compilar ficheiro em C e SystemC. Para alterar o sitema de compilação é feito no ficheiro .core do core na pasta orpsoc-cores
adicionar a biblioteca gerada pelo verilator