Rev 1541 | Rev 1601 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1541 | Rev 1548 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | #include <userspace.h> |
42 | #include <userspace.h> |
43 | #include <console/console.h> |
43 | #include <console/console.h> |
44 | #include <proc/uarg.h> |
44 | #include <proc/uarg.h> |
45 | #include <syscall/syscall.h> |
45 | #include <syscall/syscall.h> |
46 | 46 | ||
- | 47 | static int kbd_release=0; |
|
- | 48 | ||
47 | void arch_pre_main(void) |
49 | void arch_pre_main(void) |
48 | { |
50 | { |
49 | /* Setup usermode init tasks. */ |
51 | /* Setup usermode init tasks. */ |
50 | init.cnt = 6; |
52 | init.cnt = 6; |
51 | init.tasks[0].addr = INIT0_ADDRESS; |
53 | init.tasks[0].addr = INIT0_ADDRESS; |
Line 127... | Line 129... | ||
127 | /** Acquire console back for kernel |
129 | /** Acquire console back for kernel |
128 | * |
130 | * |
129 | */ |
131 | */ |
130 | void arch_grab_console(void) |
132 | void arch_grab_console(void) |
131 | { |
133 | { |
- | 134 | kbd_release=kbd_uspace; |
|
- | 135 | kbd_uspace=0; |
|
132 | } |
136 | } |
133 | /** Return console to userspace |
137 | /** Return console to userspace |
134 | * |
138 | * |
135 | */ |
139 | */ |
136 | void arch_release_console(void) |
140 | void arch_release_console(void) |
137 | { |
141 | { |
- | 142 | kbd_uspace=kbd_release; |
|
138 | } |
143 | } |