Hello Yizheng. 2014-03-20 16:51 GMT+01:00 jyizheng <[email protected]>:
> Hi Vojta, > > I am also wanting to submit an application. But the problem is that I've > just known HelenOS for less then two weeks. > Well, we say that HelenOS is easy to learn, so two weeks might be enough ;-). But seriously: I think it is possible to start coding in HelenOS if you know it for two weeks only. The question is whether you can make a reasonable guess about timeline after such short involvement. Anyway, you can always contribute to HelenOS even outside GSoC. > I don't have a detailed plan for the project I am fond of. Concretely, I > want to be involved in LLVM porting project. For me, the most interesting > part of HelenOS is how it uses formal verification. I think starting from > the compiler maybe a good way to go. > I know very little about formal verification but I think that if you want to do formal verification you do not need to have the compiler ported to HelenOS. IMHO you can do that even when LLVM is cross-compiling for HelenOS from within Linux. For that, I think that you want to extend LLVM to understand HelenOS behaviour better rather than making LLVM runnable inside HelenOS. BTW, I am a Phd student. I am looking for research based topics. HelenOS > has a good candidate for me to explore. > Formal verification is definitely one of them. There are a lot of other topics where HelenOS could be used for demonstration (if properly extended), such as distributed OS, isolation of individual components or real-time features. However, the right person to ask is Martin Decky. He might extend the list above and also give you more details. Cheers, - Vojta > > Could you please give some guidance to me since I am totally a newbie of > HelenOS? > > > Thanks, > > Yizheng > > > ------------------ Original ------------------ > *From: * "Vojtech Horky";<[email protected]>; > *Date: * Mar 20, 2014 > *To: * "HelenOS development mailing list"<[email protected]>; > *Subject: * Re: [HelenOS-devel] GSoC application > > Hi Sergio, > > 2014-03-20 12:56 GMT+01:00 Sergio Tortosa Benedito <[email protected]>: > >> I have not found any place to applicate so I'll just send this by the >> mailing list. >> > > Apply through Melange [1] (that is a must). > > I have read your project description and it is very generic. Are you > planning to write a GUI toolkit (buttons, grids etc.) or a generic drawing > library (lines, circles etc.): What are specific goals/features you want to > add? > > Also I miss a more detailed time-line. Something along the lines that > after week 1 the library would be able to do XY, after second week it would > be able to do YZ etc. > > Cheers, > - Vojta > > > [1] http://www.google-melange.com/gsoc/homepage/google/gsoc2014 > > >> _______________________________________________ >> HelenOS-devel mailing list >> [email protected] >> http://lists.modry.cz/listinfo/helenos-devel >> >> > > _______________________________________________ > HelenOS-devel mailing list > [email protected] > http://lists.modry.cz/listinfo/helenos-devel > >
_______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
