linux VS ExpansionCards

You're missing on a lot of things Rust (or any language with non-toy types) can provide. Lock ordering, better accessible complex structures, enforcement of enumerated options, rich description of APIs, and many others. Atomic values are usable transparently https://github.com/AsahiLinux/linux/blob/97c628055904a7f2ef1... and multithreaded reference counting is easily enforced https://github.com/AsahiLinux/linux/blob/bd0a1a7d465fcb60685... also issues like type confusion https://www.vicarius.io/vsociety/posts/a-type-confusion-bug-... are less likely if you can easily use tagged unions checked by the compiler.

From the gpu issue tracker[0]:

> For a bit of context -- Google Maps loads images to the GPU at.. inopportune times. While games would typically load their images during a load screen (so slow image loading just means longer loading screens), Google Maps loads when scrolling around I think (so slow image loading means the whole map stutters). I don't think there's a fundamental driver bug we can fix here, but we can make image loading a lot faster which makes the symptoms go away.

[0]: https://github.com/AsahiLinux/linux/issues/72#issuecomment-1...

> Is this mostly just a thing to get more young people interested in kernel development...allowing them to start out in less important areas and in a language they are passionate about?

Not likely. At the moment you need to do extra work to get Rust working well. It's not exactly beginner friendly and doing work in the kernel, you'll need to dig into C anyway.

> Or is this a serious proposal about the future of operating systems and other low level infrastructure code?

Serious code already exists, so... Yes?

> Do you just program everything in unsafe mode? What about runtimes?

Why would you? You need that only when interfacing with something that can't hold the Rust compiler assumptions. See for example https://github.com/AsahiLinux/linux/blob/gpu/rebase-6.4/driv...

The few places that need direct access / unsafe are almost all single-line areas with an explanation.

I think the idea with the M-series laptops in particular is that you can drive the speakers at volumes that actually damage them very quickly ( see https://github.com/AsahiLinux/linux/issues/53 ). The idea AIUI is that you can use a DSP along with a physical model of the voice coil to get better sound than you would if the speakers were volume-limited.

I am using Asahi Linux and the GPU driver works great, it even supports OpenGL 3.1 (https://asahilinux.org/2023/06/opengl-3-1-on-asahi-linux/). Definitely not alpha, I would say it's close to a "release candidate". Many bugs got resolved, nothing much left (besides newer OpenGL and Vulkan of course, but current state is very stable): https://github.com/AsahiLinux/linux/issues/72

There aren't really any non-trivial mainline modules, since the Rust support is so new. There's the non-mainline Asahi M1 GPU driver though! It will eventually be mainlined, but IIRC some more Rust support code needs to be mainlined first.

https://github.com/AsahiLinux/linux/tree/asahi/drivers/gpu/d...

You can follow the progress here: https://github.com/AsahiLinux/linux/issues/91

I think the SD module won't be able to have the card flush, as the modules are only and SD cards are 32mm long, and you need some PCB space for the socket cage and the USB-C on the other side. The retrofit PCB outline they provide is only 26.9mm from front edge to back edge, so an SD card will stick out a little bit.

So perhaps they decided to go for the one that lets users have the card flush for use like an expansion bay as well as for data transfer to/from devices.

https://github.com/FrameworkComputer/ExpansionCards/tree/mai...

There are many laptops and desktops that fit the bill.

Frame.work: https://frame.work/

Dell: https://www.dell.com/support/kbdoc/en-us/000138246/linux-on-...

System76: https://system76.com/laptops

Kubuntu Focus: https://kfocus.org/land/business

I am sure there are more, this is only what I have found in less than 5 minutes of searching.

I'll buy a frame.work long before I touch system76. Their prices are too high for the general feedback I keep seeing on the quality control. I'm not spending 3k+ to be out a laptop until support responds. Especially, considering they still don't make these in house..

No they didn't, companies just mostly gave up on it.

A Framework Laptop (https://frame.work)

You could get a Framework 13 which comes with your choice of a 7840U or 7640U and a Radeon 780M iGPU. They do officially support Linux, and you don't have to pay for a Windows license, if you go the DIY option and chose to not get a Windows license.

Take a look at the Framework laptops. They're 100% modular so if stuff like that goes bad you can simply order the replacement part and do it yourself. I'm using a desktop right now but Ithink my next laptop is gonna be a framework.

a couple of days ago I tried to order a Framework laptop (13 inch AMD). I chose to create an account during the checkout process and provided my email address. After entering my shipping details, I authorized the transfer of the deposit fee via Giropay. The deposit was deducted from my bank account but when I was sent back to the frame.work website I was greeted by an error message. Unfortunately I could neither complete the checkout process nor continue my account registration.