| --- Log opened Fri Jul 13 00:00:55 2018 | ||
| -!- [X-Scale] is now known as X-Scale | 07:54 | |
| shorne | shivm28[m]: I see, let me see | 22:18 |
|---|---|---|
| shorne | the register list comes from target_get_gdb_reg_list | 22:19 |
| shorne | which comes from: http://repo.or.cz/openocd.git/blob/HEAD:/src/target/openrisc/or1k.c#l52 | 22:20 |
| shorne | However... this is just for validation | 22:20 |
| shorne | ok, I guess you know this but... | 22:23 |
| shorne | g - is for getting all regneral registers | 22:23 |
| shorne | p - is for getting a single register | 22:23 |
| shorne | for g, we need to know the register map, so we will need to somehow describe that in our gdb server (maybe some way to pass the xml config) | 22:25 |
| shorne | but.. for p, we dont need to provide anything | 22:26 |
| shorne | lets see goes gdb support 'p' fallback if 'g' is not supported? | 22:26 |
| shorne | I think it might work | 22:31 |
| shorne | https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;a=blob;f=gdb/remote.c;h=a81d67e5ede4ba1f9c639527d2eb80de60c7e055;hb=HEAD#l8192 | 22:31 |
| shorne | Can you just implement 'p' first? | 22:32 |
| ZipCPU | shorne: Are you around at all? | 22:54 |
| ZipCPU | I'm curious what you would consider to be a good demonstration for ORCONF | 22:55 |
| ZipCPU | I'm not sure me sitting at a cubicle would make a good demonstration ... | 22:58 |
| shorne | ZipCPU: Hi, im here for a bit | 23:58 |
| ZipCPU | I'm not here, but we can chat for a touch | 23:58 |
| ZipCPU | You tweeted that you'd like to see a demonstration. I was curious about what that might look like in your mind. | 23:59 |
| ZipCPU | (I'm not here = the light is out, my wife is snoring, and I should be snoring too ... but I'm still wide awake) | 23:59 |
| shorne | Just showing how to 1. annotate code, 2. run the formal verification command 3. look at output | 23:59 |
| --- Log closed Sat Jul 14 00:00:12 2018 | ||
Generated by irclog2html.py 2.15.2 by Marius Gedminas - find it at mg.pov.lt!