🦞🌯 Lobster Roll

Thread

Implementing Reliable Linux Device Drivers in ATS (ats-lang.org)
L 6 pts 0 comments by puffnfresh May 2, 2014 pdfprogramming thread

Stories related to "Implementing Reliable Linux Device Drivers in ATS" across the full archive.

Implementing Reliable Linux Device Drivers in ATS (ats-lang.org)
L 6 pts 0 comments by puffnfresh May 2, 2014 pdfprogramming Systems / Low-Level / OSProgramming (General) thread
Avinux- Towards Automatic Verification of Linux, Device Drivers (2009) (google.com)
L 3 pts 0 comments by nickpsecurity May 11, 2017 cformalmethodslinuxprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
How the Linux Kernel Detects PCI Devices and Pairs Them with Their Drivers (codeofconnor.com)
L 16 pts 2 comments by peschkaj Jun 3, 2019 hardwarelinux Systems / Low-Level / OSMaker / DIY / Hardware thread
A framework for Linux device drivers in Rust (github.com)
L 27 pts 1 comments by sebboh Aug 22, 2019 linuxrust Systems / Low-Level / OSProgramming (General) thread
There's also [a paper](https://mssun.me/assets/ares19securing.pdf).
Are The Open-Source Graphics Drivers Good Enough For Steam Linux Gaming? (phoronix.com)
L 2 pts 0 comments by pushcx Oct 30, 2015 gameshardwarelinux Systems / Low-Level / OSProgramming (General)Gaming / Retro ComputingMaker / DIY / Hardware thread
Implementing pledge on linux using seccomp (notabug.org)
L 20 pts 4 comments by river May 15, 2016 clinuxprogrammingsecurityshow Systems / Low-Level / OSProgramming (General)Security / Privacy thread
I've started work on implementing a linux version of openbsd's pledge - a security mechanism that helps stop exploited programs from doing things they shouldn't. I did it using seccomp-bpf which is a new tool (that came about to help Chromium build a better safer sandbox) that allows you to add f...
Linux Device Driver Synthesis and Verification (2015) (etd.library.vanderbilt.edu)
L 4 pts 0 comments by nickpsecurity Mar 28, 2018 formalmethodshardwarelinuxpdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryMaker / DIY / Hardware thread
Partial abstract: "This thesis details such a device driver synthesis and verification tool chain under the Linux operating system. We make the following contributions. First, we present an approach for automatically synthesizing driver code based on Model Integrated Computing (MIC) concepts. Seco...
Reverse engineering Windows or Linux PCI drivers with Intel VT-d and QEMU (hakzsam.wordpress.com)
L 12 pts 1 comments by fcbsd Oct 15, 2018 linuxreversingwindows Systems / Low-Level / OS thread
Linux userspace x86 emulator targeted at ARM Linux devices (github.com)
L 16 pts 0 comments by eatonphil Sep 15, 2019 gameslinuxvirtualization Systems / Low-Level / OSGaming / Retro Computing thread
Implementing support for advanced DPTF policy in Linux (mjg59.dreamwidth.org)
L 6 pts 0 comments by calvin Apr 13, 2020 linux Systems / Low-Level / OS thread
Using regmaps to make Linux drivers more generic (collabora.com)
L 8 pts 0 comments by mfilion May 27, 2020 linux Systems / Low-Level / OS thread
Syzkaller can be enhanced to find bugs in specific Linux drivers, such as V4L2 (collabora.com)
L 12 pts 0 comments by mfilion Jun 26, 2020 debugginglinux Systems / Low-Level / OSProgramming (General) thread
Recognize more devices on Linux with this USB ID Repository (opensource.com)
L 6 pts 1 comments by initialcommit Aug 24, 2020 linux Systems / Low-Level / OS thread
Writing a pseudo-device driver on Linux (lyngvaer.no)
L 5 pts 0 comments by bcongdon May 28, 2021 linux Systems / Low-Level / OS thread
Mobian is an open-source project aimed at bringing Debian GNU/Linux to mobile devices (wiki.mobian-project.org)
L 1 pts 0 comments by nixcraft Jul 27, 2021 linuxmobile Systems / Low-Level / OSProgramming (General) thread
OtterCast is an open-source audio streaming device running Linux (kitspace.org)
L 40 pts 8 comments by kaspar Jul 27, 2021 hardwarelinux Systems / Low-Level / OSProgramming (General)Maker / DIY / Hardware thread
Uniting the Linux random-number devices (lwn.net)
L 16 pts 8 comments by ajdecon Feb 17, 2022 linux Systems / Low-Level / OS thread
Apple GPU drivers now in Asahi Linux (asahilinux.org)
L 51 pts 2 comments by jcspencer Dec 7, 2022 linuxreversing Systems / Low-Level / OSApple / macOS / iOS thread
Integrating Linux with Okta Device Trust (mjg59.dreamwidth.org)
L 6 pts 0 comments by Foxboron Jan 10, 2023 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
Understanding Linux cp Command and Implementing in Python (muhammadraza.me)
L 2 pts 2 comments by mraza007 Nov 10, 2023 linuxpython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Uniting the Linux random-number devices (2022) (lwn.net)
L 5 pts 1 comments by eatonphil Dec 14, 2023 linux Systems / Low-Level / OS thread
Medical Device Developer Linux (logikalsolutions.com)
L 3 pts 3 comments by raymii Mar 17, 2024 linuxrant Systems / Low-Level / OSProgramming (General) thread
Implementing a Container Runtime Part 1: Spawning Processes on Linux (maelstrom-software.com)
L 7 pts 0 comments by emschwartz Nov 14, 2024 linuxrustvirtualization Systems / Low-Level / OS thread
Using eSIMs with devices that only have a physical SIM slot via a 9eSIM SIM card with Android and Linux (neilzone.co.uk)
L 24 pts 22 comments by fanf Jan 20, 2025 hardwarelinux Systems / Low-Level / OSMaker / DIY / Hardware thread
Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (phoronix.com)
L 148 pts 176 comments by lonami Feb 19, 2025 linuxrust Systems / Low-Level / OS thread
ROCKNIX is an immutable Linux distribution for handheld gaming devices (rocknix.org)
L 16 pts 11 comments by gnafuthegreat May 26, 2025 gameslinuxosdev Systems / Low-Level / OSGaming / Retro Computing thread
Radeon Software For Linux Dropping AMD's Proprietary OpenGL/Vulkan Drivers (phoronix.com)
L 15 pts 9 comments by strugee Jun 9, 2025 graphicslinux Systems / Low-Level / OSProgramming (General) thread
[Direct link to upstream release notes](https://www.amd.com/en/resources/support-articles/release-notes/RN-AMDGPU-UNIFIED-LINUX-25-10-1.html).
Writing a basic Linux device driver when you know nothing about Linux drivers or USB (crescentro.se)
L 23 pts 2 comments by w0nder1ng Jun 21, 2025 rust Systems / Low-Level / OS thread
Writing a basic Linux device driver when you know nothing about Linux drivers o (crescentro.se)
HN 6 pts 0 comments by todsacerdoti Jun 21, 2025 Systems / Low-Level / OSCulture / Philosophy / History / Reading thread
Writing a basic Linux device driver when you know nothing about Linux drivers (crescentro.se)
HN 496 pts 67 comments by sbt567 Jun 22, 2025 Systems / Low-Level / OSCulture / Philosophy / History / Reading thread