I did not directly adapt the picosoc project. Clifford Wolf produced icosoc for the icoboard which is based on picosoc but was specifically for the icoboard. I don't know exactly how icosoc differs from picosoc as I have not looked in detail at picosoc. But icosoc added more hardware support (GPIO, SPI, SD cards, LED panels, timers and irq, rs232, pwm) and automated the process of producing different memory-mapped APIs for different hardware modules.
I then took icosoc and made it work with BlackIce II, and then added lots more hardware support (VGA, PS/2 keyboards, i2c master, i2c OLED displays, SPI OLED displays, ping sensors, rotary encoders, ADC, acceleration sensors, 1-bit audio tones). I also found an implementation of 7-segment displays and added that. And I added lots more examples.