Subversion Repositories HelenOS-doc

Compare Revisions

Ignore whitespace Rev 181 → Rev 182

/papers/isarcs10/isarcs10.tex
252,7 → 252,7
\begin{figure}[t]
\begin{center}
\resizebox*{120mm}{!}{\includegraphics{diag}}
\resizebox*{125mm}{!}{\includegraphics{diag}}
\caption{Overview of the formalisms and tools proposed.}
\label{fig:diag}
\end{center}
290,7 → 290,7
approaches. First, we would certainly like to know whether our code base is compliant with the
programming language specification and passes only the basic semantic checks (proper number
and types of arguments passed to functions, etc.). It is perhaps not very surprising that
these decisions can be make by any plain C compiler. However, with the current implementation
these decisions can be made by any plain C compiler. However, with the current implementation
of HelenOS even this is not quite trivial.
Besides the requirement to support 7 hardware platforms, the system's compile-time configuration