51 lines
1.4 KiB
Bash
Executable File
51 lines
1.4 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
function launch_vxworks()
|
|
{
|
|
vm_name=vxworks_vm$1
|
|
|
|
#check if the vm is running or not
|
|
vm_ps=$(pgrep -a -f acrn-dm)
|
|
result=$(echo $vm_ps | grep -w "${vm_name}")
|
|
if [[ "$result" != "" ]]; then
|
|
echo "$vm_name is running, can't create twice!"
|
|
exit
|
|
fi
|
|
|
|
#for memsize setting
|
|
mem_size=2048M
|
|
|
|
# Note:
|
|
# For RTVM with lapic_pt, we only support virtio devices with polling mode enabled for both
|
|
# front-end and back-end. The virtio devices with polling mode are not supported by VxWorks
|
|
# offically now and we are working on upstream the front-end drivers.
|
|
# OVMF console is not available with default parameters.
|
|
|
|
acrn-dm -A -m $mem_size -c $2 -s 0:0,hostbridge \
|
|
-s 5,virtio-console,@stdio:stdio_port \
|
|
-s 3,virtio-blk,./VxWorks.img \
|
|
--virtio_poll 1000000 \
|
|
--ovmf ./OVMF.fd \
|
|
--lapic_pt \
|
|
$vm_name
|
|
}
|
|
|
|
# offline SOS CPUs except BSP before launch UOS
|
|
for i in `ls -d /sys/devices/system/cpu/cpu[1-99]`; do
|
|
online=`cat $i/online`
|
|
idx=`echo $i | tr -cd "[1-99]"`
|
|
echo cpu$idx online=$online
|
|
if [ "$online" = "1" ]; then
|
|
echo 0 > $i/online
|
|
# during boot time, cpu hotplug may be disabled by pci_device_probe during a pci module insmod
|
|
while [ "$online" = "1" ]; do
|
|
sleep 1
|
|
echo 0 > $i/online
|
|
online=`cat $i/online`
|
|
done
|
|
echo $idx > /sys/class/vhm/acrn_vhm/offline_cpu
|
|
fi
|
|
done
|
|
|
|
launch_vxworks 1 1
|