What are .axf files?

The AXF file is an object file format generated by ARM’s RealView compiler (also part of Keil’s ARM-MDK) and contains both object code and debug information. In the debugger, while just the object code is loaded on the target itself, both the code and the debug information are loaded in the development host’s memory.

When debugging (of any kind – not just crashes) via JTAG, SWD or other connection the code needs to be available on the host along with the debug information that associates that code with the original source code. Over the debug connection, only minimal data such as register values are transferred, so for example the debugger will take the program counter value and be able to display the assembler and source code which is available on the host using the debug data in the AXF.

The MAP file contains some of the same information, but it is intended for human readability and consumption rather than machine use, and does not contain the source code line to object code association data needed by source level debugger.

Mostly you can ignore it – the compiler generates it, the debugger loads it. Your toolchain probably also generates a .hex file which is what you’d use for production programming and contains just the machine code and constant data and initialisers.

Related Posts:

  1. ARM Assembler – How do I use CMP, BLT and BGT?
  2. What is the difference between C and embedded C?
  3. What does this GCC error “… relocation truncated to fit…” mean?
  4. Using floats with sprintf() in embedded C
  5. What causes a segmentation fault (core dump) to occur in C?
  6. uint8_t vs unsigned char
  7. How to use symbols of extended ASCII table in C?
  8. What is the difference between ++i and i++?
  9. Using boolean values in C
  10. What does “collect2: error: ld returned 1 exit status” mean?
  11. How to convert an int to string in C?
  12. typedef struct vs struct definitions [duplicate]
  13. How to print in C
  14. What can be the reasons of connection refused errors?
  15. typedef struct vs struct definitions [duplicate]
  16. Cannot figure out how to use getchar(); in C
  17. Why am I getting “void value not ignored as it ought to be”?
  18. 1 = false and 0 = true?
  19. c stack smashing detected
  20. char *array and char array[]
  21. Convert char to int in C and C++
  22. Get a substring of a char*
  23. What causes the Broken Pipe Error?
  24. Strings and character with printf
  25. Why does the terminal show “^[[A” “^[[B” “^[[C” “^[[D” when pressing the arrow keys in Ubuntu?
  26. Why is the gets function so dangerous that it should not be used?
  27. Write to .txt file?
  28. What does “collect2: error: ld returned 1 exit status” mean?
  29. Warning comparison between pointer and integer
  30. What does #pragma once mean in C? [duplicate]
  31. Using ssize_t vs int
  32. Why a warning of “control reaches end of non-void function” for the main function?
  33. Connect: Socket operation on non-socket
  34. “Initializer element is not constant” in C
  35. How do you do exponentiation in C?
  36. Printing long int value in C
  37. Undefined reference to pow( ) in C, despite including math.h [duplicate]
  38. C read file line by line
  39. No Symbol Table using GDB on Compiled Programs
  40. Try catch statements in C
  41. How do I create an array of strings in C?
  42. How to check if a string is a number?
  43. The difference between stdout and STDOUT_FILENO
  44. where does stdio.o live in linux machine?
  45. Using Dynamic Memory allocation for arrays
  46. Python ? (conditional/ternary) operator for assignments
  47. conflicting types error when compiling c program using gcc
  48. Get the current time in C
  49. What’s the difference between a file descriptor and file pointer?
  50. What is a file with extension .a?
  51. Cygwin – Makefile-error: recipe for target `main.o’ failed
  52. error: indirection requires pointer operand (‘int’ invalid)
  53. Why am I getting “undefined reference to sqrt” error even though I include math.h header?
  54. Why am I getting “undefined reference to sqrt” error even though I include math.h header?
  55. Finding the length of a Character Array in C
  56. Return char[]/string from a function
  57. Expected declaration specifier error in function
  58. Valgrind: Invalid read of size 1
  59. Multiple definition of … linker error
  60. Does sizeof return the number of bytes or the number of octets of a type in C?
  61. Zero an array in C code
  62. Passing an array by reference in C?
  63. Excess elements in char array initializer error
  64. Encrypt with private key and decrypt with public key
  65. Warning: return from incompatible pointer type in C
  66. How to generate a random number between 0 and 1?
  67. strcmp giving segmentation fault
  68. What does “pointer being freed was not allocated” mean exactly?
  69. How to use timer in C?
  70. What is the difference between stdin and STDIN_FILENO?
  71. Memory Clobbering Error
  72. Check if input is integer type in C
  73. Iterate through a C array
  74. Allocating string with malloc
  75. How to simply convert a float to a string in c?
  76. What is the difference between char array and char pointer in C?
  77. hash function for string
  78. double free or corruption (!prev) error in c program
  79. What happens during a “relocation has invalid symbol index” error?
  80. Printf width specifier to maintain precision of floating-point value
  81. Two or more data types in declaration specifiers error
  82. Error: “Access not within mapped region at address” (Valgrind)
  83. printf format specifiers for uint32_t and size_t
  84. How to convert string to float?
  85. What is an simple example of copy_from_user
  86. How do you implement a class in C?
  87. What is `S_ISREG()`, and what does it do?
  88. typedef struct pointer definition
  89. How does the fscanf function work?
  90. Math constant PI value in C
  91. C: scanf to array
  92. The code does not execute properly. Try to figure out why
  93. What are “prototypes” in a C program?
  94. ld.exe: cannot open output file … : Permission denied
  95. How to read from input until newline is found using scanf()?
  96. getline() vs. fgets(): Control memory allocation
  97. What is char ** in C? [duplicate]
  98. segmentation fault using scanf
  99. Segmentation fault- strcat
  100. segmentation fault with strcpy [duplicate]

Leave a Comment