Zhao Yakui bbc2412344 Obtain the GPU device id from /sys/bus/pci/devices/0000:00:02.0/device ...

The drm.debug=xxx is also removed to avoid printing the debug info.

2019-07-10 15:19:10 +08:00

..

launch_hard_rt_vm.sh

DM: add virtual hostbridge in launch script for RTVM

2019-05-23 14:07:05 +08:00

launch_uos.sh

Obtain the GPU device id from /sys/bus/pci/devices/0000:00:02.0/device

2019-07-10 15:19:10 +08:00

launch_vxworks.sh

dm:add grep -w option for uos launch sh

2019-05-14 09:15:29 +08:00

launch_win.sh

dm: add sample script to launch Windows as guest

2019-05-13 14:43:07 +08:00

launch_zephyr.sh

dm:add grep -w option for uos launch sh

2019-05-14 09:15:29 +08:00

runC.json

ACRN: Add runC container sample config file

2018-12-12 09:11:52 +08:00