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

[sebastian.scherbel at fau.de]

Hello Lukas,

> Which hardware are you targeting? Unfortunately this does matter, as the UEFI environment where Hagfish runs in, is not always 100% feature complete.The target platform is a HPE Apollo 70 system. The Cavium ThunderX2 seems to be supported according to your Barrelfish Readme. And QEMU with TianoCore EDK2 for debugging purposes. 

Regards Sebastian    Am Mittwoch, 27. Januar 2021, 20:55:56 MEZ hat sebastian.scherbel at fau.de <sebastian.scherbel at fau.de> Folgendes geschrieben:  
 
  Hello Daniel,
thanks for the fast reply. I'll give Hagfish a try. 

The other solutions, I have tried so far, like GNU EFI, had problems with dealing with additional sections apart from text and data. Which we use for our applications, among other things. Under ARMv8 it is unfortunately not possible to just use objcopy, because there is no efi-app-aarch64 target. Even pei-arm-little is broken with made up magic numbers. [0]

> Just out of curiosity: What’s the OS you are porting?The OS is called OctoPOS. https://www4.cs.fau.de/~benjamin/documents/octopos_sfma2011.pdf
Regards Sebastian
[0] https://sourceware.org/bugzilla/show_bug.cgi?id=26218


    Am Mittwoch, 27. Januar 2021, 18:47:31 MEZ hat Schwyn Daniel <daniel.schwyn at inf.ethz.ch> Folgendes geschrieben:  
 
 #yiv9033524327 -- filtered {}#yiv9033524327 filtered {}#yiv9033524327 filtered {}#yiv9033524327 p.yiv9033524327MsoNormal, #yiv9033524327 li.yiv9033524327MsoNormal, #yiv9033524327 div.yiv9033524327MsoNormal {margin:0cm;font-size:11.0pt;font-family:sans-serif;}#yiv9033524327 a:link, #yiv9033524327 span.yiv9033524327MsoHyperlink {color:blue;text-decoration:underline;}#yiv9033524327 span.yiv9033524327E-MailFormatvorlage18 {font-family:sans-serif;color:windowtext;}#yiv9033524327 .yiv9033524327MsoChpDefault {font-size:10.0pt;}#yiv9033524327 filtered {}#yiv9033524327 div.yiv9033524327WordSection1 {}#yiv9033524327 
Hello Sebastian,
 
  
 
In principle Hagfish should be able to load any ELF binary and relocate it. We have only used it to load and relocate it Barrelfish binaries though, so anything that is not needed (e.g. some relocation types) is either not implemented or at least not tested. There is a newer version available but apparently we didn’t release it on Github. You can find the newest version of the source code here: http://git.barrelfish.org/?p=Hagfish
 
We updated to newer EDK II and GCC versions and improved the build process. Additionally there were some changes to the Barrelfish boot process that we implemented, those are probably not relevant for you though.
 
  
 
Just out of curiosity: What’s the OS you are porting?
 
  
 
Best regards,
 
Daniel
 
  
 
Von: Barrelfish-users <barrelfish-users-bounces at lists.inf.ethz.ch>Im Auftrag von sebastian.scherbel at fau.de
Gesendet: Mittwoch, 27. Januar 2021 17:41
An: barrelfish-users at lists.inf.ethz.ch
Betreff: [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/fe7ea057/attachment-0001.html>