欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
KVM on CentOS
来自开放百科 - 灰狐
看看有几核
vmx 是 Intel 处理器，svm 是 AMD 处理器
grep -E 'svm|vmx' /proc/cpuinfo
安装KVM
$ sudo yum update $ sudo yum install @virt $ sudo systemctl enable --now libvirtd $ sudo yum -y install virt-top libguestfs-tools
验证安装
$ lsmod | grep kvm
分享您的观点
