vm0 = MSG_vm_create_core(pm0, "VM0");
- s_vm_params_t params;
- memset(¶ms, 0, sizeof(params));
- params.ramsize = 1L * 1000 * 1000 * 1000; // 1Gbytes
- MSG_vm_set_params(vm0, ¶ms);
+ MSG_vm_set_ramsize(vm0, 1e9); // 1GB
MSG_vm_start(vm0);
cpu_speed = MSG_host_get_speed(pm0);