Hi,
I am trying to run sel4 on QEMU, i am following this steps(https://wiki.sel4.systems/Hardware/Qemu) make clean make optiplex9020_defconfig make silentoldconfig make but while doing make i am getting following error.. /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c: In function ‘get_breakpoint_format’:/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: error: ‘seL4_InstructionBreakpoint’ undeclared (first use in this function) *break_type = seL4_InstructionBreakpoint; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: note: each undeclared identifier is reported only once for each function it appears in/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:131:19: error: ‘seL4_BreakOnRead’ undeclared (first use in this function) *rw = seL4_BreakOnRead; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:135:27: error: ‘seL4_DataBreakpoint’ undeclared (first use in this function) *break_type = seL4_DataBreakpoint; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:136:19: error: ‘seL4_BreakOnWrite’ undeclared (first use in this function) *rw = seL4_BreakOnWrite; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:146:19: error: ‘seL4_BreakOnReadWrite’ undeclared (first use in this function) *rw = seL4_BreakOnReadWrite; ^make[1]: *** [src/gdb_server/gdb.o] Error 1make: *** [libsel4camkes] Error 2 can you please give any solution to solve these errors..
RegardsAshok
----- Forwarded Message ----- From: "ashokk@spanidea.com" ashokk@spanidea.com To: "adrian.danis@data61.csiro.au" Adrian.Danis@data61.csiro.au; "devel@sel4.systems" devel@sel4.systems Sent: Wednesday, 27 September 2017 5:05 PM Subject: sel4 on QEMU
Hi,
I am trying to run sel4 on QEMU, i am following this steps(https://wiki.sel4.systems/Hardware/Qemu) make clean make optiplex9020_defconfig make silentoldconfig make but while doing make i am getting following error.. /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c: In function ‘get_breakpoint_format’:/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: error: ‘seL4_InstructionBreakpoint’ undeclared (first use in this function) *break_type = seL4_InstructionBreakpoint; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: note: each undeclared identifier is reported only once for each function it appears in/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:131:19: error: ‘seL4_BreakOnRead’ undeclared (first use in this function) *rw = seL4_BreakOnRead; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:135:27: error: ‘seL4_DataBreakpoint’ undeclared (first use in this function) *break_type = seL4_DataBreakpoint; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:136:19: error: ‘seL4_BreakOnWrite’ undeclared (first use in this function) *rw = seL4_BreakOnWrite; ^/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:146:19: error: ‘seL4_BreakOnReadWrite’ undeclared (first use in this function) *rw = seL4_BreakOnReadWrite; ^make[1]: *** [src/gdb_server/gdb.o] Error 1make: *** [libsel4camkes] Error 2 can you please give any solution to solve these errors..
RegardsAshok
Hi Ashok,
The fix for this compilation error is currently going through our internal continuous integration process. I can let you know when the fix has been pushed to our external repositories. In the meantime, you can either:
- Enable the HARDWARE_DEBUG_API config setting for the kernel. (make menuconfig -> seL4 kernel -> build options -> Enable hardware breakpoint and single-stepping API?.
- Revert the commit that introduced this error: ?f26215811f8dc952f692a7a60db30cec2d6cda27 (cd libs/libsel4camkes && git checkout 96426cfca0fbad82bad39f37b49a19837fed826f)
?
Kind regards,
Kent McLeod
________________________________ From: Devel devel-bounces@sel4.systems on behalf of ashokk@spanidea.com ashokk@spanidea.com Sent: Thursday, September 28, 2017 7:21 PM To: devel@sel4.systems Subject: [seL4] Fw: sel4 on QEMU
----- Forwarded Message ----- From: "ashokk@spanidea.com" ashokk@spanidea.com To: "adrian.danis@data61.csiro.au" Adrian.Danis@data61.csiro.au; "devel@sel4.systems" devel@sel4.systems Sent: Wednesday, 27 September 2017 5:05 PM Subject: sel4 on QEMU
Hi,
I am trying to run sel4 on QEMU, i am following this steps(https://wiki.sel4.systems/Hardware/Qemu)
make clean make optiplex9020_defconfig make silentoldconfig make
but while doing make i am getting following error..
/home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c: In function 'get_breakpoint_format': /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: error: 'seL4_InstructionBreakpoint' undeclared (first use in this function) *break_type = seL4_InstructionBreakpoint; ^ /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:130:27: note: each undeclared identifier is reported only once for each function it appears in /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:131:19: error: 'seL4_BreakOnRead' undeclared (first use in this function) *rw = seL4_BreakOnRead; ^ /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:135:27: error: 'seL4_DataBreakpoint' undeclared (first use in this function) *break_type = seL4_DataBreakpoint; ^ /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:136:19: error: 'seL4_BreakOnWrite' undeclared (first use in this function) *rw = seL4_BreakOnWrite; ^ /home/arun/test_default/libs/libsel4camkes/src/gdb_server/gdb.c:146:19: error: 'seL4_BreakOnReadWrite' undeclared (first use in this function) *rw = seL4_BreakOnReadWrite; ^ make[1]: *** [src/gdb_server/gdb.o] Error 1 make: *** [libsel4camkes] Error 2
can you please give any solution to solve these errors..
Regards Ashok
-
ashokk＠spanidea.com -
Kent.Mcleod＠data61.csiro.au