24 |
(l4_start_sp_ip etc) (currently result is undefined). Handle IPC |
(l4_start_sp_ip etc) (currently result is undefined). Handle IPC |
25 |
errors somehow intelligently. |
errors somehow intelligently. |
26 |
|
|
27 |
* Compatibility |
* GNU interface |
28 |
|
** Implement the cache hint support functions. |
29 |
|
** Implement l4_thread_was_* functions. |
30 |
|
|
31 |
|
* Compatibility interface |
32 |
** Implement more of the inofficial extensions to the official libl4 |
** Implement more of the inofficial extensions to the official libl4 |
33 |
library (things like sigma0.h). |
library (things like sigma0.h). |
34 |
** Think about syscall stubs, which are initialized lazily in the |
** Think about syscall stubs, which are initialized lazily in the |