| 1 | April 2014, Joel Porquet
|
|---|
| 2 |
|
|---|
| 3 | This platform is known for being able to run Linux.
|
|---|
| 4 |
|
|---|
| 5 | ----
|
|---|
| 6 | Pre-requisites:
|
|---|
| 7 |
|
|---|
| 8 | * A working version of SoCLib (r2558)
|
|---|
| 9 | - the command `soclib-cc --getpath` should return where SoCLib is
|
|---|
| 10 | installed
|
|---|
| 11 | * A working version of TSAR (r668)
|
|---|
| 12 | - TSAR directory should be properly added to SoCLib's configuration:
|
|---|
| 13 | either globally, or through the `soclib.conf` file present in this
|
|---|
| 14 | directory (in which case, the environment variable `TSARDIR` should be
|
|---|
| 15 | defined to point on TSAR directory)
|
|---|
| 16 |
|
|---|
| 17 |
|
|---|
| 18 | ----
|
|---|
| 19 | Targets of the Makefile:
|
|---|
| 20 |
|
|---|
| 21 | * clean: clean the compilation files
|
|---|
| 22 | * all (or none): compile the simulation system
|
|---|
| 23 | * run_tsar_boot: runs the simulation system using a boot loader (in this case,
|
|---|
| 24 | you want to use a blockdevice image that contains the kernel: see `DSK`
|
|---|
| 25 | option below)
|
|---|
| 26 | * run_dummy_boot: runs the simulation system using directly Linux instead of a
|
|---|
| 27 | boot loader (i.e. Linux is already loaded in RAM before execution).
|
|---|
| 28 |
|
|---|
| 29 |
|
|---|
| 30 | ----
|
|---|
| 31 | Options for running:
|
|---|
| 32 |
|
|---|
| 33 | These options apply when using either `run_tsar_boot` or `run_dummy_boot`
|
|---|
| 34 | targets. Example: `make run_dummy_boot GDB=1 VMLINUX=../vmlinux DSK=dsk.img`
|
|---|
| 35 |
|
|---|
| 36 | * GDB=1|[FXSCTZW]: options to the GDB server (1 means FCX which is a good
|
|---|
| 37 | default)
|
|---|
| 38 | * NCPUS=[1-4]: number of processors (the default is 4)
|
|---|
| 39 | * DSK=[pathname]: path to a filesystem to use with the BlockDevice component
|
|---|
| 40 | (also implies creating a system with such a component, otherwise the
|
|---|
| 41 | component is deactivated)
|
|---|
| 42 | * TRACE=[number]: enables tracing the simulation starting from a certain cycle
|
|---|
| 43 | * NCYCLES=[number]: runs the simulation for a certain number of cycles
|
|---|
| 44 |
|
|---|
| 45 | Only for run_dummy_boot:
|
|---|
| 46 | * VMLINUX=[pathname]: path to Linux `vmlinux` image
|
|---|
| 47 |
|
|---|
| 48 |
|
|---|
| 49 | ----
|
|---|
| 50 | Using GDB server:
|
|---|
| 51 |
|
|---|
| 52 | A file named `.gdbinit` contains a few macros that can be useful for debugging
|
|---|
| 53 | Linux when using the GDB server.
|
|---|
| 54 |
|
|---|
| 55 | * connect: connect to the GDB server that runs within the simulation
|
|---|
| 56 | * dmesg: print the content of the kernel message buffer
|
|---|
| 57 | * thread_info: print the thread_info structure of the current task
|
|---|
| 58 | * task_struct: print the task_struct structure of the current task
|
|---|
| 59 | * active_mm: print the active_mm structure of the current task
|
|---|
| 60 | * pgd: print the content of the page table of the current task
|
|---|
| 61 | * ps: print the list of running tasks
|
|---|
| 62 |
|
|---|
