#osdev

Introducing GNOME 45 – The GNOME Foundation

https://foundation.gnome.org/2023/09/20/introducing-gnome-45/

Discussions: https://discu.eu/q/https://foundation.gnome.org/2023/09/20/introducing-gnome-45/

#compsci #linux #osdev #release #unix

I'm trying to write an operating system that works with Braille displays (Braille TTYs). I do not have a Braille display, but I have a Raspberry Pi. Anyone know how to make the Raspberry Pi emulate a particular model of Braille display? (A skeuomorphic interface would be excellent, so I can work on UX, but right now I just care about basic functionality.)

Development will likely start on qemu, so advice there would also help.

#OSDev #Braille #AskFedi

How Hard is it to Adapt a Memory Allocator to CHERI?

https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html

Discussions: https://discu.eu/q/https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html

#compsci #osdev #programming #security

Project Oberon (New Edition 2013)

https://people.inf.ethz.ch/wirth/ProjectOberon/

Discussions: https://discu.eu/q/https://people.inf.ethz.ch/wirth/ProjectOberon/

#compsci #osdev

Going through the interrupts block of https://os.phil-opp.com/cpu-exceptions/ today. #rust #osdev

Haiku Activity & Contract Report, August 2023

https://www.haiku-os.org/blog/waddlesplash/2023-09-12_haiku_activity_contract_report_august_2023/

Discussions: https://discu.eu/q/https://www.haiku-os.org/blog/waddlesplash/2023-09-12_haiku_activity_contract_report_august_2023/

#compsci #osdev

Does anyone want to know what I'm working on rn? Probably not, anyway
So yea, my current main project is this 'small' osdev project, to make something I'm terming "SynOS" (if you are fairly close to me and were also fairly close in april/may you'll know what the root of that name is)

This is made up of a couple of parts:
- Azuma:
Azuma is the kernel of this OS, and I'm designing it to be a pure microkernel, which currently is targeting ARM64 (aarch64, w/e), this is the part I've done all of the work up until now on. Naming wise, I stole the name from LNER Azuma (who could've guessed) for basically no reason other than it looking and sounding cool lol - maybe one day I can say that I called it that because it's supposed to be fast or smth but now is not that day. One key design point with this kernel is that, to allow it to function as a pure microkernel, it handles "permissions" on processes, which is essential for drivers. This should also make it more secure, since a driver can't go rogue and start accessing the FS if it only has permissions to talk to, say, the USB bus
- Userspace:
This is, well, the userspace, but operates using the permissions that I mentioned earlier. Hopefully I can make this fully POSIX compliant cos that just makes things easier development-wise (not for me tho 😅)

Anyway, I might post updates about this every so often, and here's the link to it:
https://codeberg.org/ExoSkye/SynOS

#osdev #aarch64 #arm64 #posix #microkernel #synos #azumakernel

What if... someone made a Plan 9 that could run Linux apps?

https://liam-on-linux.dreamwidth.org/89039.html

Discussions: https://discu.eu/q/https://liam-on-linux.dreamwidth.org/89039.html

#compsci #linux #osdev #unix

XCOM, a "crossplatform graphics user interface"

http://xcom.infora.hu/index.html

Discussions: https://discu.eu/q/http://xcom.infora.hu/index.html

#compsci #graphics #osdev

Going on what's become my annual foray into #osdev with #zig. For something different this year, I'm focusing on #RISCV.

🦀 Fomos — Experimental OS, built with Rust
➥ Thomas Simon

「 I wanted to experiment with Non-Unix OS ideas.

Exo-kernels are interesting, but it is mostly a theory. This project helps me understand the challenges involved in that pattern.

OS development is extremely hard, Rust makes it more bearable 」

https://github.com/Ruddle/Fomos

#Rust #OSDev #ExoKernels #Opensource

Fomos: Experimental OS, built with rust https://github.com/Ruddle/Fomos | https://lobste.rs/s/eoyuf6 #osdev #rust

The Plan for Helios NG - a FOSS cluster-native OS derived from TRIPOS (2014)

https://www.geekdot.com/helios-ng/

Discussions: https://discu.eu/q/https://www.geekdot.com/helios-ng/

#compsci #osdev

The Plan for Helios NG - a FOSS cluster-native OS derived from TRIPOS https://www.geekdot.com/helios-ng/ | https://lobste.rs/s/lhqpc4 #osdev

500 Byte Images: The Haiku Vector Icon Format

https://blog.leahhanson.us/post/recursecenter2016/haiku_icons.html

Discussions: https://discu.eu/q/https://blog.leahhanson.us/post/recursecenter2016/haiku_icons.html

#compsci #graphics #osdev #programming

The Ares Operating System

https://ares-os.org/

Discussions: https://discu.eu/q/https://ares-os.org/

#compsci #osdev

$HOME, Not So Sweet $HOME

https://gist.github.com/sharadhr/39b804236c1941e9c30d90af828ad41e

Discussions: https://discu.eu/q/https://gist.github.com/sharadhr/39b804236c1941e9c30d90af828ad41e

#compsci #osdev

Haiku Activity & Contract Report, July 2023

https://www.haiku-os.org/blog/waddlesplash/2023-08-15_haiku_activity_contract_report_july_2023/

Discussions: https://discu.eu/q/https://www.haiku-os.org/blog/waddlesplash/2023-08-15_haiku_activity_contract_report_july_2023/

#compsci #osdev

Virtualizing uxn

https://eighty-twenty.org/2023/08/11/virtualizing-uxn

Discussions: https://discu.eu/q/https://eighty-twenty.org/2023/08/11/virtualizing-uxn

#compsci #osdev #programming #virtualization

Virtualizing uxn https://eighty-twenty.org/2023/08/11/virtualizing-uxn | https://lobste.rs/s/f7jcoo #osdev #virtualization

A RISC-V Capability Architecture Orchestrating Compiler, Architecture, And System Designs For Full Memory Safety (Georgia Tech, Arm Research)

https://semiengineering.com/a-risc-v-capability-architecture-orchestrating-compiler-architecture-and-system-designs-for-full-memory-safety/

Discussions: https://discu.eu/q/https://semiengineering.com/a-risc-v-capability-architecture-orchestrating-compiler-architecture-and-system-designs-for-full-memory-safety/

#compsci #hardware #osdev #programming #riscv #security

64-Bit Kernel in Zig tutorial

https://youtu.be/0et1U9ouwMM

Discussions: https://discu.eu/q/https://youtu.be/0et1U9ouwMM

#osdev #programming #ziglang

#kernel is progressing, and #zig is making it pretty pleasant.

Exception handlers are up and running, so now to move on to page allocation. Once that's done I can bring up the rest of the cores. I'm hoping to get some basic scheduling working and be able to start working on the first user space servers some time next week.

#osdev

GNU/Hurd strikes back

https://mhatta.medium.com/gnu-hurd-strikes-back-4021433d506d

Discussions: https://discu.eu/q/https://mhatta.medium.com/gnu-hurd-strikes-back-4021433d506d

#compsci #osdev #unix

✨Live now at https://twitch.tv/cyberkaida ✨

Today we're doing a cowork stream! I'm working on developing training for writing bootloaders! 👩‍💻

#bootloader #SystemsProgramming #RaspberryPi #OSDev #Training #cowork #stream #VTuber

My x64-based OS contains now a fully working FAT12 driver. Check-it out here: https://github.com/SQLpassion/osdev #osdev #internals #assembler #lowlevel #linux

Unix-like OS in Rust inspired by xv6-riscv

https://github.com/o8vm/octox

Discussions: https://discu.eu/q/https://github.com/o8vm/octox

#osdev #programming #rustlang

#tomo el fuego is available on docker hub if you want to give it a spin.

tomo is a fork / distro of #inferno, a #plan9 derivative. so far, i’ve merged some community software into the tree and worked on getting the binary distribution channels works. i’ve done a little ux work, but that area has a long way to go yet.

you can check out the project site for more information.

#theWorkshop #osdev

Haiku Activity & Contract Report, June 2023

https://www.haiku-os.org/blog/waddlesplash/2023-07-14_haiku_activity_contract_report_june_2023/

Discussions: https://discu.eu/q/https://www.haiku-os.org/blog/waddlesplash/2023-07-14_haiku_activity_contract_report_june_2023/

#compsci #osdev

Writing a 9P server from scratch

https://blog.aqwari.net/9p/

Discussions: https://discu.eu/q/https://blog.aqwari.net/9p/

#compsci #osdev

i have been here for nearly a year and i never made a #introduction post?

Cheers! I’m a #cpp developer with a background in network engineering, i organize #neurofunk #dnb events and i’m active in #austrian #leftist #politics at Junge Linke.

My Blog has been a bit stale lately but i plan to push more technical, political or philosophical posts to it.

I’m mostly interested in #osdev, #infosec, #cpp, #politics, #netzpolitik and of course #shitposts.

I first joined the Fediverse somewhen in 2019 but started using it actively in early 2022 over at cybre.space (RIP). Nowadays i run my own cozy instance larkspur.one.

What Unix Cost Us (2020) [video]

https://www.youtube.com/watch?v=9-IWMbJXoLM

Discussions: https://discu.eu/q/https://www.youtube.com/watch?v=9-IWMbJXoLM

#compsci #historical #osdev #unix

RSoC: on-demand paging https://redox-os.org/news/kernel-8/ | https://lobste.rs/s/fvpjtd #osdev #rust

@lexknowssystems Honestly I gotta do #osdev again, it's really fun but I just haven't done it in a good while

I recently announced that a printed version of the Osdev Notes project has been released . And last week i received my own copy! So since I'm one of the two authors. So to celebrate the first copy received here a selfie of the book with one of the authors (me :D)
The notes can be read here: https://shorturl.at/mEFJW
While the book is available here: https://shorturl.at/etxF8

Although we use C they are more about the process of creating an OS.

#osdev #kernel #operatingsystems #os #book #author

Over the last few days I've made a huge progress in the implementation of a full blown FAT12 driver for my OS. It supports now all the major C file I/O functions, which are accessible from User Mode applications through System Calls. A lot of testing happened by the implementation of a simple "copy" function within the Command shell.

The next big step is the implementation of sub directories - instead of working only with a flat root directory ;-) #osdev #internals #infosec #filesystems

Is there anyone willing to tutor me or point me in the direction of learning Rust for OS Development and in general? #rust #osdev

Round-robin style task scheduling

#Meme #OSDev

Putting out the hardware dumpster fire

https://dl.acm.org/doi/pdf/10.1145/3593856.3595903

Discussions: https://discu.eu/q/https://dl.acm.org/doi/pdf/10.1145/3593856.3595903

#compsci #hardware #osdev

Redbean Systems

https://redbean.systems/

Discussions: https://discu.eu/q/https://redbean.systems/

#compsci #osdev

The Unholy Saga of Phoenix Hyperspace

https://gekk.info/articles/hyperspace.htm

Discussions: https://discu.eu/q/https://gekk.info/articles/hyperspace.htm

#compsci #osdev

So anyway, if any #BSD or #OSDev folks want to talk more, I'm happy to.

Not sure when I'll be able to get the whitepaper out. It'll have to go through an IP process (I do work at a research lab), but I don't foresee any actual barriers. I personally am trying to start graduate studies in physics, though, so I have very little time.

The idea of some kind of microkernel project aimed at the #bsd world has been floating around between me and some of my lab colleagues for some time now.

I think the overall rationale has coalesced enough to warrant talking about it. I will probably aim to produce some kind of vision whitepaper on this, once I get clear of some personal stuff.

#OsDev #FreeBSD #kernel #OSS #FOSS

Eltanin - An OS project and a Linux distro (Glacies)

http://eltaninos.org/en/blog/2023-05-07-00

Discussions: https://discu.eu/q/http://eltaninos.org/en/blog/2023-05-07-00

#compsci #linux #osdev #unix

DOjS is a JavaScript programming environment for systems running MS-DOS

https://github.com/SuperIlu/DOjS

Discussions: https://discu.eu/q/https://github.com/SuperIlu/DOjS

#compsci #javascript #osdev #programming #webdev

OSDev Weekend Project - Decided to build out a custom init system / window manager / UI toolkit on top of a Linux kernel. All in Rust, all using musl libc.

I quite like this approach.

#osdev

Dear fediverse and folks at @discuss.systems – here comes a brief #introduction. First things first: I'm Peter, 37, dad of 2, postdoc at Ilmenau Tech/Germany. Posting personal views and stuff that fascinates me.

Originally joined to talk and learn technology. That said, I'm basically a #nerd-of-all-trades and so are my interests and topics I might toot or join discussions about. Below is a not even semi-exhaustive list of relevant tags… Executive summary in bio 😉 .

Tech stuff:

* #Operatingsystems concepts, design, implementation #os #osdev #osdesign
* Information security, especially #accesscontrol #infosec #cybersecurity #itsec #cti
* Programming languages #rust #rustlang #c #cpp #lisp #ada
* #Gamedev #gamedesign #godotengine #bevyengine
* #Linux #fedora #debian
* FOSS #vim #mutt #texlatex #i3wm #qutebrowser #gnu

Science stuff:

* #Space #astrodon #spaceflight
* Future technology #scifi #sf #sciencefiction
* #Robotics
* #History
* Constructed languages #conlang #lojban #esperanto #fiatlingua

Other stuff:

* #Creativewriting #writing #storytelling
* #Animals #dogs #cats #birds #pigs
* #Music #metal #jazz #piano #orchestralmusic
* #Photography #filmphotography #analogphotography #fujifilm
* #Japanese language and culture #japan #nihon
* #Tibet #buddhism
* Magic the Gathering #mtg #magicthegathering
* #Snooker
* #Laphroaig #craftbeer #mojito

Some authors:

* Jorge Luis #Borges
* Kurt #Vonnegut
* Isaac #Asimov
* James #Tiptree Jr.
* Jeff VanderMeer #southernreach
* #StephenKing
* Colin #Thubron
* Eliot Pattisons #tibet
* Jon Krakauer #intothewild
* Tim Butcher #bloodriver
* Michael Marrak (German only, sadly enough)

「 the philosophy that everybody started putting forth, “This is the Unix philosophy. Write programs that do one thing and do it well. Write programs to work together. Write programs that handle text streams, because that is a universal interface.” All of those ideas, which add up to the tool approach, might have been there in some unformed way prior to pipes, but they really they came in afterwards 」
— The New Stack
#Unix #UnixPhilosophy #OSDev #RetroProgramming

「 Though Mahoney’s interview suggests that the original symbol for pipes was “>,” in the 1994 book, “A Quarter Century of Unix,” McIlroy remembers when Thompson decided the symbol for pipes should instead be “|.” Thompson made the change “for a talk in London, because he couldn’t bear to reveal my ugly syntax.” 」
— The New Stack
#Unix #UnixPhilosophy #OSDev #RetroProgramming

「 Michael S. Mahoney, a science historian at Princeton University who created an oral history of Unix in 1989, argued that the day pipes were actually created marked a significant turning point for the Unix philosophy 」
— The New Stack
#Unix #UnixPhilosophy #Pipes #OSDev
https://thenewstack.io/pipe-how-the-system-call-that-ties-unix-together-came-about

why apps run in protected memory space

#Memes #OSDev #MonDog

👋 I'm Michael and I just moved here after hearing great things about the Hachyderm community and @nova's leadership.

I work as a software developer in Guelph, Ontario 🇨🇦. I recently joined Secureframe as a staff developer doing compliance automation.

I have a lovely wife and an 8 year old daughter. I help teach her Judo classes.

In my spare time I do hobby coding, mostly in Rust: OS development, an NES emulator, and other random projects.

#introduction #rails #react #judo #rust #osdev

Hello world!
I'm a high school senior playing around with #osdev, hardware design, and making my own programming languages. I mainly program in #rust, with the occasional bit of Javascript.
#introduction

Today on stream: Now that we can run Doom on our little risc-v OS we should probably start to make it playable (start setting up interrupt controllers / keyboard &mouse drivers / a clock etc.).

Will definitely take more than one stream, but time to start!

#osdev

Twitch: https://www.twitch.tv/pseudosarah

Haiku Activity & Contract Report, October 2022 https://www.haiku-os.org/blog/waddlesplash/2022-11-14_haiku_activity_contract_report_october_2022/ | https://lobste.rs/s/e11lx5 #osdev

I'm a little overdue for an #introduction 😅

hi, I'm Ava, and I do a lot of silly programming things! outside of work I mostly write #csharp, working on projects related to the critically acclaimed MMORPG Final Fantasy XIV. I previously had made a few plugins, but my current long-term project is Thaliak, a version tracking and analysis tool for the game. reverse engineering is fun 😄

#adhd is also wack - i.e. one of my more recent projects has been dabbling in #osdev with making a #rust (#rustlang) toy OS targeting aarch64. it's not much right now, but I'm hoping to eventually™️ get it running on arm64 Macs (maybe...)

at my day job I work as a frontend dev on a #react / #typescript stack. I used to be in more backend positions but have been trying to learn more about FED so here we are ^^

outside of all of that, I'm probably either gayposting, shitposting, #ffxiv posting, or ... lifeposting? you know how it is out there.

feel free to follow; might follow back if you seem friendly!

This was like ~40 hours of work on-stream to go from zero to an OS that can run Doom. Very happy we got there.

Made it a little harder by doing all the OS work in assembly.

I think next #osdev stream we will get can interrupt controller setup so we can get keyboard input working - see if we can actually *play* doom...

All the videos are up on youtube (https://www.youtube.com/@sarahjamielewis) - except the last couple which will be up in a few days (but are still also available as vods on twitch).

Today on stream, now that Doom is technically running on our little risc-v operating system we are going try and get it working... (#OSDev and Chill)

Come hang out / ask questions / play along.

Twitch: https://twitch.tv/pseudosarah

Today on stream, with the VGA driver and ELF loader written, we are finally going to get Doom running on our little risc-v operating system - after we write a few environment calls for libc hooks...

Come hang out / ask questions / play along.

Twitch: https://www.twitch.tv/pseudosarah

#osdev #livestream

Today on stream: Can we get our little risc-v operating system to run Doom? Let's find out. (OSDev & Chill)

#osdev

Twitch: https://twitch.tv/pseudosarah

Today on stream we formalized PCI enumeration, and got a quick little QEMU VGA driver up and running. (Now on Youtube: https://www.youtube.com/watch?v=MKL0xUna_Wk)

Next OSDev we will see if we can get Doom running on our little OS!

#osdev

Let's finish off setting up page tables and jump into playing around with PCI.

#osdev

Twitch: https://www.twitch.tv/pseudosarah

Moar stuff I like:

#VALORANT #FPGA #RISCV #Verilog #Plan9 #9front #OSdev #STEM #FOSS #Art

Welcome to my social medium!

By day, I do computer verification (you might even say aggressive mechanization) of #math in the Lean prover with the hope of getting a gender-neutral title out of it. (I don't post too much about it on here, scientific papers tend to take all my writing energy.) By night I do #osdev. I like #cycling in nature and befriending #crows. I also know a bit of #linguistics.

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome. You can steal anything I post if it's not overtly personal.

Everything I post is a lie. Do You Believe That?

Mu can now read from an ATA (IDE) disk drive on Qemu.

https://github.com/akkartik/mu/tree/main/shell#readme

It wouldn't have been possible without the lovely folks over on #osdev. And the inspiration of ColorForth (https://merveilles.town/@akkartik/105906716550232992), though I still don't understand how that driver works.

Here's my #introductions post, lost by the account migration:

I'm a Cyber Security Consultant and do pentests for a living. Before that I used to do software, mostly web development. I speak German, English and Russian. Things fascinating me:

- #Cooking
- #Cryptography
- #Design
- #Emacs
- #Infosec
- #Keyboards
- #Lisp
- Japanese and Soviet-era culture
- #PLT
- #OSDev
- #Science