Giters

theseus-os / Theseus

Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐š๐ฅ๐ข๐ง๐ ๐ฎ๐š๐ฅ ๐๐ž๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

Home Page:https://www.theseus-os.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mlx3

YtvwlD opened this issue ยท comments

commented

Since #404, there's a driver for Mellanox ConnectX-5 cards (mlx5). I haven't used it, but over the next months, I'd like to add a new driver for the ConnectX-3 (and possibly also the ConnectX-4) which would then be called mlx3.

I've made a few small PRs over the last weeks because I was trying to get Theseus up and running on a few real devices (and I'm afraid I have another one almost ready).

This mlx3 driver would be part of my master's thesis and be (very) roughly based on the one in Nautilus.

So, if there's any advice (including "please don't" ๐Ÿ™ƒ), I'll gladly take it. :)

(I'm not sure whether an issue is the right place to discuss this, feel free to close if you don't think this warrants one.)