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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
