unikraft / pykraft

Python library for configuring and building unikernels
Other
177 stars 42 forks source link

A better solution when binary is not found due to the path/filename mess-up #108

Open xymeng16 opened 2 years ago

xymeng16 commented 2 years ago

kraft uses the name field from kraft.yaml to retrieve the kernel binary file to conduct the build/run tasks. But if users use make menuconfig to configure the app, the default binary name would be the directory name. Such mixing up may lead to the following two confusions if the name field of kraft.yaml does not match the directory name:

After discussing with the community, two acceptable solutions are raised:

As kraft is under refactoring and the new tools KraftKit will be released soon, I am going to open a PR only regarding the kraft run issue since it has more influence than the kraft build one.

Issue #36 seems related to this issue, too.