fngi
raspberry-pi-os
| fngi | raspberry-pi-os | |
|---|---|---|
| 1 | 9 | |
| 59 | 12,870 | |
| - | - | |
| 8.3 | 0.0 | |
| 10 months ago | about 1 month ago | |
| C | C | |
| The Unlicense | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fngi
-
Smallest possible self-hosting zig compiler
I've been writing my own language, fngi, which is inspired by Forth to create an extremely minimal language. However, I'm considering doing a rewrite and in so doing am taking a second look at some other languages.
raspberry-pi-os
-
I want to learn about kernel development
Last but not the least, learning by doing is fun so you can check out - raspberry-pi-os (writing an os from scratch) - https://github.com/s-matyukevich/raspberry-pi-os
- GitHub - s-matyukevich/raspberry-pi-os: Learning operating system development using Linux kernel and Raspberry Pi
- Learning operating system development using Linux kernel and Raspberry Pi
- Learning operating system development using Linux kernel and Raspberry Pi (2018)
-
Show HN: CheesecakeOS for Raspberry Pi Volume 0: Booting, Processes, and VM
CheesecakeOS for Raspberry Pi Volume 0: Booting, Processes, and Virtual Memory is the first in what I hope is a series of github markdown tutorials or volumes on bare-metal from-scratch operating system development.
I have dreamed of contributing to the Linux Kernel, but have yet to find the courage to jump in and do so. I started by attempting to read Understanding the Linux Kernel by Daniel Bovet and Marco Cesati, but found it was too advanced for me at the time. I found another text I credit with advancing my understanding, Computer Systems: A Programmer's Perspective by Randall Bryant and David O'Hallaron. I worked on the self-study labs from their book website, and found them to be a superb educational tool.
Further, then becoming interested in what creating an operating system actually means, I stumbled upon Sergey Matyukevich's Rasberry-Pi-OS github repo (https://github.com/s-matyukevich/raspberry-pi-os). I wanted to expand on his tutorial, for my own education, and, in the best case, for the benefit of others.
There are many ideas taken from Linux in the implementation, as when I didn't know how to proceed, that is the source I would consult. Though, I attempt to simplify and explain the details in the text. The implementation stops short of implementing or supporting a file system, the subject of the next volume.
-
Has anyone ever actually gotten a custom kernel/bare metal program to run specifically on the Raspberry Pi 4B?
Not familiar with this myself but aiming to start soon. Have found a nice youtube series for low level development on the RPi, not sure which version he uses, but reportedly it works for some on RPi 4. He also has a subreddit:
-
wanting to create a simple OS for simple games
Here's one tutorial: https://github.com/s-matyukevich/raspberry-pi-os
-
In-depth software programming
C: Learning operating system development using Linux kernel and Raspberry Pi
- What's an interesting non-x86 based architecture to write an OS for?
What are some alternatives?
zigenesis - Build ANY project in ANY Language with Zig.
JingOS - Awesome - JingOS - The World’s First Linux-based OS design for Tablets
C - Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
rdma-core - RDMA core userspace libraries and daemons
dattobd - kernel module for taking block-level snapshots and incremental backups of Linux block devices
circle - A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
rtw88-usb - rtw88 family usb driver for linux rtl8723du rtl8822bu rtl8821cu rtl8822cu
AmogOS - ඞ Among-us themed OS. As seen on Reddit and Youtube.
UEFI-Tuts - YOUTUBE Tutorials on how the UEFI works to boot your own Operating System. Think of this as an EFI Bootloader.
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
circle - The compiler is available for download. Get it!
xcc - Toy C compiler for x86-64/aarch64/riscv64/wasm