-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
plat/kvm/arm: Fix default choice in arm64 VMM menu #1053
Conversation
Fix the default selection of the VMM in Config.uk. Kconfig requires that the default is defined as an attribute of the `choice` option rather than the contained item. Signed-off-by: Michalis Pappas <michalis@unikraft.io>
✅ Checkpatch passed Beep boop! I ran Unikraft's
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All good, thanks.
Reviewed-by: Stefan Jumarea stefanjumarea02@gmail.com
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Everything ok on my side as well.
Reviewed-by: Maria Sfiraiala maria.sfiraiala@gmail.com
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Approved-by: Razvan Deaconescu razvand@unikraft.io
Prerequisite checklist
checkpatch.uk
on your commit series before opening this PR;Base target
arm64
]kvm
]Additional configuration
Description of changes
Fix the default selection of the VMM in Config.uk. Kconfig requires that the default is defined as an attribute of the
choice
option rather than the contained item.