diff --git a/en/platforms/ia64/refs.sgml b/en/platforms/ia64/refs.sgml
index 0c5a2489cf..d9e3c97ca5 100644
--- a/en/platforms/ia64/refs.sgml
+++ b/en/platforms/ia64/refs.sgml
@@ -1,62 +1,62 @@
-
-
+
+
%includes;
]>
&header;
References
This page contains a collection of links to relevant reference
material.
Architecture
- Intel Software Developers Manual, revision 2.1
Chipset
&footer;
diff --git a/en/platforms/ia64/todo.sgml b/en/platforms/ia64/todo.sgml
index 0d8d8f5369..d34163c67f 100644
--- a/en/platforms/ia64/todo.sgml
+++ b/en/platforms/ia64/todo.sgml
@@ -1,53 +1,53 @@
-
-
+
+
%includes;
]>
&header;
What needs to be done
This page tries to be the starting point for people trying to find
anything that can be done.
Package building errors
Look here
for the most up-to-date list of ports that fail to build for some reason
or another.
To do list
A complete list of things that need to be done is very likely not
going to happen. There's just too much. Below a list of the larger
or more important items.
- EPC based system calls
- gdb(1) support and port
- Make SMP reliable
- Continue work on MCA
- Revisit the VHPT handling
- Revisit kernel loading
- Revisit TR assignment
&footer;