search

kmu-embedded / k-hypervisor

ARM-based Hypervisor for Real-Time Embedded Systems
Other
14 stars 12 forks source link

[Makefile] C source code does not appear in Model Debugger #24

Open igxactly opened 8 years ago

igxactly commented 8 years ago

C source code does not show up in Model Debugger when debugging on RTSM.

This problem was caused by toolchain version difference.

RTSM/Model Debugger needs a binary compiled with GCC 4.7 Toolchain.

igxactly commented 8 years ago

Web link for reference: http://stackoverflow.com/questions/5188267/checking-the-gcc-version-in-a-makefile

See also: the comments in pull request #25