History log of /seL4-test-master/tools/seL4/cmake-tool/helpers/simulation.cmake
Revision Date Author Comments
# 19c7d48f 03-Nov-2020 Siwei Zhuang <siwei.zhuang@data61.csiro.au>

cmake: Update the simulation script for Spike

Update the simulation script to work with the latest QEMU(v5.0.0).

Signed-off-by: Siwei Zhuang <siwei.zhuang@data61.csiro.au>


# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# 82db20b1 17-Feb-2020 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

simulation: added optional extra args to qemu

It's now possible to set qemu_sim_extra_args to pass extra arbitrary
arguments to qemu when generating simulate script.


# 1240ff9a 20-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Style changed files


# 169cc58f 20-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Fix typo


# 1bba9c5d 19-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

simulation: Create helper to launch gdb instance

This helps improve the usability of the gdb changes introduced in the
simulate scripts.


# fed0f480 19-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

simulation: Add QEMU commands for GDB in scripts

This adds the option for the simulate scripts to tell QEMU to wait for a
GDB instance to connect to it before starting.

Co-authored-by: Jonas Claeson <jonas.cl@protonmail.com>


# afbad19d 13-Nov-2019 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

Added hyp support for qemu-arm-virt simulation

The simulate script is now generated with virtualization=on iff the
KernelArmHypervisorSupport is activated.


# 595ce371 03-Oct-2019 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

Added the new virt platform

This commit adds the new virt platform to the build system's application
settings as well as the simulation generation.


# f3281cfb 17-Sep-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: include KERNEL_HELPERS_PATH for RequireFile

RequireFile is defined in the kernel helpers CMake file that is stored
under KERNEL_HELPERS_PATH.


# 7f66e472 12-Sep-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

simulation.cmake: Use RequireFile for script paths

RequireFile adds error checking and marks the cache variables as
advanced.


# d2cbb1b7 18-Apr-2019 Yu Hou <Yu.Hou@data61.csiro.au>

CMake: Add comment to explain qemu serial flags

added comment to explain '-serial null -serial mon:stdio' flag


# 59f387d5 18-Apr-2019 Yu Hou <Yu.Hou@data61.csiro.au>

CMake: Remove gdb flag from simulation line

-s is shorthand for -gdb tcp::1234. We don't need to pass this by
default.


# 40d42cb5 30-Apr-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Refactor helpers to be included on demand

As more helper files get added it becomes more expensive to include them
all in common.cmake. We instead add them to the CMAKE_MODULE_PATH and
allow them to be imported as CMake modules. Adding global include guards
allows them to be imported multiple times without processing every time.


# 24e50de1 15-Apr-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Remove gdb flag from RISC-V simulation line

-s is shorthand for -gdb tcp::1234. We don't need to pass this by
default.


# a98d593a 07-Apr-2019 G. Branden Robinson <Branden.Robinson@data61.csiro.au>

Produce fallback simulation script portably

"echo -e" (to interpret C-style backslash escape sequences) is not
portable and in fact does not work on Debian buster.

The generated shell script looked like this:

-e #!/bin/sh
echo ${error} && exit -1

...which did not work.

A negative exit status is also not portable.

So:
* Switch to the portable printf.
* Exit with status 1 instead of -1.
* Add a layer of backslash escaping to achieve correct script
generation.


# c85fda55 07-Apr-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: style this repo


# da22911d 11-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

cmake: Move simulation functions into own file