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); |