1

Topic: Ideas for HyperbolaBSD

Kernel GPL for inspiration.

https://github.com/RIKEN-SysSoft/mckernel

https://github.com/Barrett17/V-OS

https://l4linux.org/

ASM for Libressl.

https://github.com/q66/libressl-portable-asm

Bootloader approved by FSF.

https://directory.fsf.org/wiki/Gujin

https://wiki.osdev.org/Gujin

http://freshmeat.sourceforge.net/projects/gujin

Paper, documentation, text, articles for reference!


https://www.csoonline.com/article/32506 … nk-so.html

https://l4linux.org/papers.shtml

https://www.dragonflybsd.org/presentati … dcon04.pdf

https://www.phoronix.com/scan.php?page= … rf-For-5.4

https://www.opersys.com/adeos/dox/pract … sters.html

https://blog.sandipb.net/2018/09/14/run … -defaults/

https://expertmiami.blogspot.com/2019/0 … or_10.html

2

Re: Ideas for HyperbolaBSD

Bumping in case this is still relevant...

smile

HyperbolaBSD: The Future of Secure Libre Lightweight Operating Systems!

3

Re: Ideas for HyperbolaBSD

Yes, they are not forgotten. But to inform a bit about the current state: At the moment it is about porting the sources towards our version of GCC being in use with Hyperbola GNU/Linux-libre 0.4.x. There is a weekly meetup in the IRC, I will inform later on also more.

Human being in favor with clear principles and so also for freedom in soft- and hardware!

Certainly anyone who has the power to make you believe absurdities has the power to make you commit injustices: For a life of every being full with peace and kindness, including diversity and freedom. Capitalism is destroying our minds, the planet itself and the universe in the end!