Bahadir Balban 3bbbcdfefa Full utcb copying partially works now.

2009-05-19 11:26:45 +03:00

..

context.h

exchange_registers(), modified thread_control calls seem to work

2008-09-15 15:59:44 +03:00

init.h

Initial commit

2008-01-13 13:53:52 +00:00

memlayout.h

New UTCB implementation almost working.

2009-05-01 10:11:47 +03:00

memory.h

Full utcb copying partially works now.

2009-05-19 11:26:45 +03:00

message.h

Modifications towards full ipc

2009-05-17 20:49:13 +03:00

syscall.h

Added MR #define place holders so that these are used instead of real register names

2008-09-15 18:27:41 +03:00