Introduction Hey There!
My name is Calisto Abel Mathias, and I am excited to introduce myself as a first-year undergraduate student at the National University of Technology in Karnataka, India. I am honored to have been accepted into the Google Summer of Code (GSoC) program for 2024 under the mentorship of the Haiku project. A huge thanks to my two mentors - Niels and Humdinger for embarking on this journey with me.
This report covers hrev57680 through hrev57719.
Introduction Hello again! I am Trung Nguyen (a.k.a @trungnt2910). You might have already known me as the maintainer of the .NET 8 Port for Haiku since last year’s GSoC program.
I am delighted to be accepted into GSoC again! This year, under the guidance of @waddlesplash - one of the experienced Haiku devs that I admire the most, I will work on one of the core issues of software development on Haiku: the debugging experience.
Introduction Hi there! I’m Daniel Martin (aka dalme) and I’m a final year undergraduate student at Complutense University of Madrid (Spain). I’ve been accepted into Google Summer of Code and I’ll be working to bring hardware virtualization to Haiku, a project that has been in the GSoC ideas list for around a decade. I’ll be mentored by scottmc and waddlesplash.
Project overview QEMU is a virtual machine which allows running an operating system inside of another.
So I got accepted into GSoC again! I’m going to be working on WebKit2. But what is WebKit2, or even WebKit, for that matter? Well, WebPositive uses WebKit to render its web pages. Currently, we use the WebKitLegacy API to communicate with WebKit. It would be nice to switch to the newer version: WebKit2. However, our port of WebKit2 still needs work. At present, it has lost its ability to even render any webpage at all!
This report covers hrev57616 through hrev57679.
The goal My goal is to be able to use CompCert, a certified compiler. It is a compiler whose passes are formally verified to not introduce change in the semantics from the C code to its translation in asm.
The installation goals Compcert is installed from its Coq sources. So i need Coq. Coq is installed from sources or as an OPAM package. OPAM being the Ocaml PAckage Manager. opam needs OCaml anyway.
This report covers hrev57561 through hrev57615.
This blog post was originally a forum post. It is reproduced here on the website to make it easier to find and reference. I heard that some more people may be interesting in helping with WebKit. So here is a summary of the current state, the things I think need work, or the possible future paths to explore.
Keeping WebKitLegacy up and running The Web moves fast these days.
This report covers hrev57494 through hrev57560.
