Use mirroring service for microlibraries
nderjung opened this issue · 0 comments
nderjung commented
Use the mirroring service for micro-library source origin's hosted at https://releases.unikraft.org/mirrors.
This can be accomplished by retrieving the filename from current origin, at LIB${LIBNAME}_URL, and replacing the rest of the URL with the naming format https://releases.unikraft.org/mirrors/libs/${LIBNAME}/${FILENAME}.