wget -N --force-directories https://veyepar.nextdayvideo.com/Videos/veyepar/lca/lca2020/mlt/Verified_seL4_on_secure_RISCV_processors.mlt wget -N --force-directories https://veyepar.nextdayvideo.com/Videos/veyepar/lca/lca2020/titles/Verified_seL4_on_secure_RISCV_processors.png wget -N --force-directories https://veyepar.nextdayvideo.com/Videos/veyepar/lca/lca2020/titles/Verified_seL4_on_secure_RISCV_processors.svg wget -N --force-directories https://veyepar.nextdayvideo.com/Videos/veyepar/lca/lca2020/assets/credits/ndv-169.png