Enabling debug symbols for rumprun code

[NiramayVaidya]

Is there any way to enable debug symbols for the rumprun code during the build stage so that when launch_gdb is used to debug, it would be possible to set breakpoints in rumprun code (currently, I am only able to set breakpoints and step through seL4 specific code)? For example, let's say I want to set a breakpoint at the init_rumprun function in project/rumprun/platform/sel4/entry.c.

I tried adding the -g flag in projects/rumprun/CMakeLists.txt to CFLAGS but that did not work.