help wanted
Repository metrics
- Stars
- (31,799 stars)
- PR merge metrics
- (Avg merge 26d 4h) (55 merged PRs in 30d)
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 ?