[panda-users] win7proc:grab_files

[Juan Caballero]

Hi there,
I was trying to run the win7proc grab_files functionality, but the command
line in the manual does not seem to work
If I use:
$PANDA_PATH/x86_64-softmmu/qemu-system-x86_64 -replay foo -pandalog foo.plog
\
    -panda syscalls2:profile=windows7_x86 -panda win7proc:grab_files

as proposed in the manual at:
https://github.com/moyix/panda/blob/master/qemu/panda_plugins/win7proc/USAGE
.md

I get an assertion failure:
Assertion: `!(panda_os_type == OST_UNKNOWN)' failed
It seems that panda_set_os_name is not being invoked in vl.c
How do I tell panda which OS I am running?

Thanks,
Juan