On 5 August 2012 23:06, <ingo_weinhold@xxxxxx> wrote: > hrev44474 adds 1 changeset to branch 'master' > old head: aed35104852941f0f6f3d1dcc5338b5f337d0a3c > new head: 7483c98dece8f3606fc5d3fd746c0544f7e4b6dd > > > ---------------------------------------------------------------------------- > > 7483c98: Debugger (and some friends): 64 bit fixes > > [ Ingo Weinhold <ingo_weinhold@xxxxxx> > ] > > > ---------------------------------------------------------------------------- > Ah, brilliant, thanks for this. Going to need a debugger soon, started running into some interesting userland bugs now that I've got app_server running. I'll look at implementing the kernel support for debugging on x86_64 this week and then port the debugger app. From what I can tell from a quick look at the code, I'd just need to add x86_64 parts under debugger/arch/, and add ELF64 support. Is there anything else I've missed? Thanks, Alex