[Barrelfish-users] [Barrelfish] Hagfish kernel image structure and latest version

[Humbel Lukas]

Hi Sebastian


We get back to you in a second, but there's one thing that will make us help much more: Which hardware are you targeting? Unfortunately this does matter, as the UEFI environment where Hagfish runs in, is not always 100% feature complete.


Cheers,

Lukas


________________________________
From: sebastian.scherbel at fau.de
Sent: Wednesday, January 27, 2021 17:41
To: barrelfish-users at lists.inf.ethz.ch
Subject: [Barrelfish-users] [Barrelfish] Hagfish kernel image structure and latest version

Hello,

I'm a CS student trying to port an research operating system from x86_64 to ARMv8 and stumbled across Hagfish.

Hagfish should basically be able to load any ELF with its sections into memory with minor modifications? Or is there certain requirement for the kernel image structure that I didn't notice while reading your publication [1] and skimming the source code?

The last commit in the public repository is from March 2017. But in the changelog of your last Barrelfish release from 2020 states "Update Hagfish to latest version". Have there been any bigger changes or improvements in the meantime?

Regards Sebastian

[0] https://lists.inf.ethz.ch/pipermail/barrelfish-users/2020-March/001597.html
[1] http://www.barrelfish.org/publications/TN-022-ARMv8.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20210127/c5d794de/attachment.html>