#!/bin/bash

HAMT="hamt=1,hamtmode=2,hamtsubmode=2,hamtconfig=0x3e9"
./latx-sys-hamt-1.1.1 -m 8192 -smp 4 -L ./pc-bios \
    -accel tcg,mode=lat,tb-size=2048,mtcc=on,thread=multi -usb -device usb-tablet \
    -latx select,verbose=on,softfpu_fast=0xfffffff,intopt=1,sht=on,${HAMT}  \
    -audio model=hda,driver=sdl \
    -hda win7.x64.m4096.clean.img_real \



#for virtio devices
#    -drive file=./win7.x64.m4096.clean.img_real,if=none,id=drive1 -device virtio-blk-pci,drive=drive1,id=virtblk0,num-queues=4 \
#    -nic user,model=virtio-net-pci \
#    -vga qxl \
