help wanted
説明
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 ?