Rev 3438 | Rev 3442 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3438 | Rev 3439 | ||
|---|---|---|---|
| Line 73... | Line 73... | ||
| 73 | int rc; |
73 | int rc; |
| 74 | 74 | ||
| 75 | printf("ipc_connect_task(%lld)... ", task_id); |
75 | printf("ipc_connect_task(%lld)... ", task_id); |
| 76 | rc = ipc_connect_kbox(task_id); |
76 | rc = ipc_connect_kbox(task_id); |
| 77 | printf("-> %d\n", rc); |
77 | printf("-> %d\n", rc); |
| - | 78 | ||
| - | 79 | if (rc == ENOTSUP) { |
|
| - | 80 | printf("You do not have userspace debugging support " |
|
| - | 81 | "compiled in the kernel.\n"); |
|
| - | 82 | printf("Compile kernel with 'Support for userspace debuggers' " |
|
| - | 83 | "(CONFIG_UDEBUG) enabled.\n"); |
|
| - | 84 | } |
|
| - | 85 | ||
| 78 | phoneid = rc; |
86 | phoneid = rc; |
| 79 | if (rc < 0) return rc; |
87 | if (rc < 0) return rc; |
| 80 | 88 | ||
| 81 | printf("udebug_begin()... "); |
89 | printf("udebug_begin()... "); |
| 82 | rc = udebug_begin(phoneid); |
90 | rc = udebug_begin(phoneid); |