Hello ajblane,
I hope you don't mind that I take this to our mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
The list is the primary discussion forum for Genode related questions. For further questions, other developers have the chance to offer a helping hand. So, please subscribe using the link above.
Regarding your current issue: Do you use a 64-bit Linux installation? Currently, our GDB port is limited to 32-bit and supported platforms are
me@...246...:genode.git> (cd ports/lib/mk; find -name "gdbserver_platform.mk") ./foc_arm/gdbserver_platform.mk ./pistachio_x86/gdbserver_platform.mk ./foc_x86_32/gdbserver_platform.mk ./linux_x86_32/gdbserver_platform.mk ./fiasco_x86/gdbserver_platform.mk ./okl4_x86/gdbserver_platform.mk ./nova_x86_32/gdbserver_platform.mk
Regards
Hi sir: 1. I don't mind 2. Yes, I use a a 64-bit Linux installation
I will try 32 bit Linux installation
thank your response
Best regard
By ajblane
2014-05-23 17:38 GMT+08:00 Christian Helmuth < christian.helmuth@...1...>:
Hello ajblane,
I hope you don't mind that I take this to our mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
The list is the primary discussion forum for Genode related questions. For further questions, other developers have the chance to offer a helping hand. So, please subscribe using the link above.
Regarding your current issue: Do you use a 64-bit Linux installation? Currently, our GDB port is limited to 32-bit and supported platforms are
me@...246...:genode.git> (cd ports/lib/mk; find -name "gdbserver_platform.mk ") ./foc_arm/gdbserver_platform.mk ./pistachio_x86/gdbserver_platform.mk ./foc_x86_32/gdbserver_platform.mk ./linux_x86_32/gdbserver_platform.mk ./fiasco_x86/gdbserver_platform.mk ./okl4_x86/gdbserver_platform.mk ./nova_x86_32/gdbserver_platform.mk
Regards
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
On Fri, May 23, 2014 at 11:09:43AM +0800, ch ajblane wrote:
Dear sir: I want to use Qemu's GDB stub to debug, so I read these articles
which
are "How to start exploring Genode" and "User- level debugging on Genode via GDB".
I do six steps as follow, but the six step can't work.
step 1: cd <genode-dir>
./tool/create_builddir linux_x86 BUILD_DIR=build.lx
step 2:
cd build.lx make run/demo
step 3: Change to the ports repository and issue the following command make prepare PKG=gdb
step 4: Change to the libports repository and issue the following command make prepare
step 5: Change to the qt4 repository and issue the following command make prepare
step 6: Change to the build directory and issue the following command make app/gdb_monitor
But step 6 can't work. it's error message is
checking library dependencies... Library-description file gdbserver_platform.mk is missing
My question is how to let step 6 can work. Please help me. Thanks.
Best regard.
About me: My name: ajblane I am a P.H.D student. My school: http://www.cs.ccu.edu.tw/english/ My Hackpad: https://genode_for_fun.hackpad.com/ My github: https://github.com/ajblane
Hi sir: If I want to implement GDB port to support linux_x86_64 . How can i do?
by ajblane
2014-05-23 17:50 GMT+08:00 ch ajblane <ajblane0612@...9...>:
Hi sir:
- I don't mind
- Yes, I use a a 64-bit Linux installation
I will try 32 bit Linux installation
thank your response
Best regard
By ajblane
2014-05-23 17:38 GMT+08:00 Christian Helmuth < christian.helmuth@...1...>:
Hello ajblane,
I hope you don't mind that I take this to our mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
The list is the primary discussion forum for Genode related questions. For further questions, other developers have the chance to offer a helping hand. So, please subscribe using the link above.
Regarding your current issue: Do you use a 64-bit Linux installation? Currently, our GDB port is limited to 32-bit and supported platforms are
me@...246...:genode.git> (cd ports/lib/mk; find -name "gdbserver_platform.mk ") ./foc_arm/gdbserver_platform.mk ./pistachio_x86/gdbserver_platform.mk ./foc_x86_32/gdbserver_platform.mk ./linux_x86_32/gdbserver_platform.mk ./fiasco_x86/gdbserver_platform.mk ./okl4_x86/gdbserver_platform.mk ./nova_x86_32/gdbserver_platform.mk
Regards
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
On Fri, May 23, 2014 at 11:09:43AM +0800, ch ajblane wrote:
Dear sir: I want to use Qemu's GDB stub to debug, so I read these articles
which
are "How to start exploring Genode" and "User- level debugging on Genode via GDB".
I do six steps as follow, but the six step can't work.
step 1: cd <genode-dir>
./tool/create_builddir linux_x86 BUILD_DIR=build.lx
step 2:
cd build.lx make run/demo
step 3: Change to the ports repository and issue the following command make prepare PKG=gdb
step 4: Change to the libports repository and issue the following command make prepare
step 5: Change to the qt4 repository and issue the following command make prepare
step 6: Change to the build directory and issue the following command make app/gdb_monitor
But step 6 can't work. it's error message is
checking library dependencies... Library-description file gdbserver_platform.mk is missing
My question is how to let step 6 can work. Please help me. Thanks.
Best regard.
About me: My name: ajblane I am a P.H.D student. My school: http://www.cs.ccu.edu.tw/english/ My Hackpad: https://genode_for_fun.hackpad.com/ My github: https://github.com/ajblane
Hello,
On 05/23/2014 12:05 PM, ch ajblane wrote:
Hi sir: If I want to implement GDB port to support linux_x86_64 . How can i do?
Please have a look at the following git branch, which adds generic x86_64 support and support for nova_x86_64:
https://github.com/cproc/genode/commits/gdb_monitor_nova_x86_64-20140521
For linux_x86_64 support, you basically need to implement 'repos/ports/src/lib/gdbserver_platform/linux_x86_64_low.cc' and the corresponding 'repos/ports/lib/mk/linux_x86_64/gdbserver_platform.mk' files.
Christian
Hello,
On Fri, May 23, 2014 at 11:09:43AM +0800, ch ajblane wrote:
Dear sir: I want to use Qemu's GDB stub to debug, so I read these articles
which
are "How to start exploring Genode" and "User- level debugging on Genode via GDB".
I do six steps as follow, but the six step can't work.
step 1: cd <genode-dir>
./tool/create_builddir linux_x86 BUILD_DIR=build.lx
step 2:
cd build.lx make run/demo
step 3: Change to the ports repository and issue the following command make prepare PKG=gdb
step 4: Change to the libports repository and issue the following command make prepare
step 5: Change to the qt4 repository and issue the following command make prepare
step 6: Change to the build directory and issue the following command make app/gdb_monitor
But step 6 can't work. it's error message is
checking library dependencies... Library-description file gdbserver_platform.mk is missing
My question is how to let step 6 can work. Please help me. Thanks.
after re-reading your initial mail, I'm not sure if linux_x86_64 support for GDB monitor is actually what you need. Do you have a specific application that you want to debug? If yes, on which Genode base platform does it run? For the beginning, it might be easiest to try 'make run/gdb_monitor_interactive' on the 'foc_x86_32' platform, since this platform has the best GDB support right now.
Christian