1 |
|
2003-09-19 Marcus Brinkmann <marcus@gnu.org> |
2 |
|
|
3 |
|
* l4/init.h: Include <l4/syscall.h> |
4 |
|
|
5 |
2003-09-18 Marcus Brinkmann <marcus@gnu.org> |
2003-09-18 Marcus Brinkmann <marcus@gnu.org> |
6 |
|
|
7 |
|
* Makefile.am (nobase_include_HEADERS): Add l4/init.h. |
8 |
|
* headers.m4: Likewise. |
9 |
|
|
10 |
|
* l4/kip.h (L4_MIN_PAGE_SIZE): New macro. |
11 |
|
(l4_memory_desc_high): Return the address of the last byte, not |
12 |
|
the byte following it, according to 20030912 version of the L4 X.2 |
13 |
|
specification, revision 4. |
14 |
|
|
15 |
* l4/types.h (__L4_PRI_PREFIX, L4_PRIdWORD, L4_PRIiWORD, |
* l4/types.h (__L4_PRI_PREFIX, L4_PRIdWORD, L4_PRIiWORD, |
16 |
L4_PRIoWORD, L4_PRIuWORD, L4_PRIxWORD, L4_PRIXWORD, L4_SCNdWORD, |
L4_PRIoWORD, L4_PRIuWORD, L4_PRIxWORD, L4_PRIXWORD, L4_SCNdWORD, |
17 |
L4_SCNiWORD, L4_SCNoWORD, L4_SCNuWORD, L4_SCNxWORD, L4_SCNXWORD): |
L4_SCNiWORD, L4_SCNoWORD, L4_SCNuWORD, L4_SCNxWORD, L4_SCNXWORD): |