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

[sebastian.scherbel at fau.de]

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/c4f22507/attachment.html>