[LLVMdev] LLVM Language Reference Strictness

[Don Quixote de la Mancha]

On Thu, Oct 20, 2011 at 2:37 AM, Shea Levy <shea at shealevy.com> wrote:
>. The
> (probably impossible) end-goals to this project would be a) that every
> program which passes its checks would be as safe to run in kernel mode
> with full memory access as it would be in user mode

That would be a very useful thing to have for embedded systems.  Some
such as uCLinux run ports of "safe" operating systems with the safety
stripped out, whereas others like Texas Instruments' DSP/BIOS run
entirely as a single operating system kernel.
-- 
Don Quixote de la Mancha
Dulcinea Technologies Corporation
Software of Elegance and Beauty
http://www.dulcineatech.com
quixote at dulcineatech.com