On 12/24/13 14:06, Ed Greshko wrote:
I guess I'd be interested in the output of
cat /proc/cpuinfo
And maybe
lshw -C processor | grep width lscpu | grep "CPU op-mode"
for completeness. :-)
Who knows how VBox goes about making its decisions.
BTW, everything worked fine for me on earlier F19 kernels.