Open
Description
our ebf tutorial is ancient and has deadlinks:
do we still need to do these extra steps such as using a custom ISO and linux headers?
did we add the ebf to minikube ISO ?
@eiffel-fl do you know if our old tutorial ^^ can we remove those lines about cutsom iso ?