Links for pico-boot