Skip to content
Snippets Groups Projects
Commit 803edbed authored by Matěj Kafka's avatar Matěj Kafka
Browse files

nova: Makefile: Add $(QEMU_FLAGS) variable

parent 76c49df1
No related branches found
No related tags found
No related merge requests found
Pipeline #56965 passed
Stage: deploy
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 5 additions and 3 deletions
    nova/Makefile
    + 5
    − 3
    View file @ 803edbed
    ......@@ -2,19 +2,21 @@
    du debug-user dk debug-kernel cl clean cla cleanall hw10 hw11 hw12
    QEMU=qemu-system-i386
    # use this variable to pass custom flags to QEMU
    QEMU_FLAGS ?=
    c compile:
    make -C user
    make -C kern/build
    r run:
    $(QEMU) -serial stdio -kernel kern/build/hypervisor -initrd user/hello
    $(QEMU) -serial stdio -kernel kern/build/hypervisor -initrd user/hello $(QEMU_FLAGS)
    rd run-debug:
    $(QEMU) -serial stdio -kernel kern/build/hypervisor -initrd user/hello -s -S
    $(QEMU) -serial stdio -kernel kern/build/hypervisor -initrd user/hello -s -S $(QEMU_FLAGS)
    rd2 run-debug2:
    $(QEMU) -nographic -kernel kern/build/hypervisor -initrd user/hello -s -S
    $(QEMU) -nographic -kernel kern/build/hypervisor -initrd user/hello -s -S $(QEMU_FLAGS)
    du debug-user:
    gdb -ex 'target remote :1234' -ex 'break main' -ex 'continue' user/hello
    ......
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment