[LLVMdev] High level language and LLVM

[Eli Friedman]

On Tue, Dec 13, 2011 at 5:55 PM, Haohui Mai <haohui.mai at gmail.com> wrote:
> Hi folks,
>
> I'm interested in building a secure and verifiable operating system. One good way to do it is to build the OS with high level language, such as Java or C# since verification is significantly easier.
>
> I have some experience on analyzing LLVM byte codes, so I also plan to compile everything into LLVM byte codes to analyze and verify my OS.
>
> However, I also plan to write my own runtime, since I don't want to rely on GC (I'm considering something like region-based memory management).
>
> My question is what's the status of high level language support in LLVM?

The question isn't really clear.  What features are you looking for?

-Eli