Hi Eddie, The following commit removes the parameter of pcpu_id. Should we add it back? Then it will make it easier to write one @pre like above. commit d2bac7cc5d54879325a1c7ce1145c55354436934 Author

Hi Eddie, How about: @pre bitmap_test(get_pcpu_id(), &pcpu_active_bitmap) == true

cpu_dead only run on the current cpu. If the cpu_dead is called, the cpu must be in active state. So, no need to check the pcpu_active_bitmap here. This patch removes the check about pcpu_active_bitma

The definition of CONFIG_REMAIN_1G_PAGES has been removed by patch (4627cd4d HV: build: drop useless files). So, remove the whole CONFIG_REMAIN_1G_PAGES in repo. Signed-off-by: Kaige Fu <kaige.fu@inte

This patch tries to fetch max vcpu per vm from HV instead of hardcode in DM. Signed-off-by: Kaige Fu <kaige.fu@...> --- devicemodel/core/main.c | 19 +++++++++++++++---- 1 file changed, 15 insert

We use global variable TSC_FREQ defined in config.py in each of the analyzers. And the value set to TSC_FREQ through option -f/--frequency doesn't take effect. This patch fix it by adding one paramete

Hi Geoffroy, I have PRed this patch. Please help review. Thanks in advance. -- Thanks Kaige Fu

Thanks for your review. The minimum memory size is ~256MB with the default configurations (expect UART related configurations).

This patch adds tutorial about using VxWorks as guest. Signed-off-by: Kaige Fu <kaige.fu@...> --- doc/tutorials/using_vxworks_as_uos.rst | 137 +++++++++++++++++++++++++ 1 file changed, 137 inser

This patch add one sample script to launch VxWorks as guest. Signed-off-by: Kaige Fu <kaige.fu@...> --- devicemodel/samples/nuc/launch_vxworks.sh | 53 +++++++++++++++++++++++ 1 file changed, 53

This patch adds support for VxWorks as a guest. For patch 2/2, I will PR it to let Geoffroy and Dav review once got Acked for patch 1/2. --- v1 -> v2: - Using OVMF to boot VxWorks intead of ELF loader

We will use -E option to load zephyr.elf directly and deprecate the way of using OVMF to launch Zephyr as a guest. Signed-off-by: Kaige Fu <kaige.fu@...> --- doc/tutorials/using_zephyr_as_uos.rs

zephyr.elf can be loaded by acrn-dm using -E directly. This patch deprecates the way of using OVMF to launch Zephyr as a guest and use -E instead. Signed-off-by: Kaige Fu <kaige.fu@...> --- devi

This patchset try to load zephyr.elf using -E directly and deprecate the way of using OVMF to launch zephyr as a guest. This patchset based on: https://lists.projectacrn.org/g/acrn-dev/message/21514 F

This patch add one sample script to launch VxWorks as guest. Signed-off-by: Kaige Fu <kaige.fu@...> --- devicemodel/samples/nuc/launch_vxworks.sh | 51 +++++++++++++++++++++++ 1 file changed, 51

This patch adds one function load_elf64 to launch VxWorks as a guest. Signed-off-by: Kaige Fu <kaige.fu@...> --- devicemodel/core/sw_load_elf.c | 81 ++++++++++++++++++++++++++-------- 1 file cha

This patch adds support for VxWorks as a guest through load_elf64. TODO: Add more multiboot info needed by VxWorks guest. Kaige Fu (2): DM: Add support for VxWorks as a guest DM: Add one sample script

2019? 2019?

Hi Eddie, Sorry, I didn't catch you here. AP_MASK is used in both pm.c and cpu.c. What do you mean by saying "move the header file"? Could you elaborate it?