Modularus: A Self-Bootstrapping Kernel. And Related Projects

[covert heath]

how about you @gusty kestrel

[viscid locust]

only reason I do stuff is cuz I see cool stuff in Astral, Managarm and Skiftos

[gusty kestrel]

For AxeialOS?

or Modularus?

The upcoming Distro ofc

[covert heath]

yeah this

[gusty kestrel]

I'm thinking of Linux

because i want MODERN applications

and DEs

So yeah

[covert heath]

fair

[gusty kestrel]

@covert heath
https://github.com/VOXIDEVOSTRO/LiquidOS

Finally made a distro's repository

[gusty kestrel]

Guys do you think i should make a new post about it?

[keen ridge]

why

[gusty kestrel]

or actually continue here?

[keen ridge]

hm...

why do you wanna make a new post

[gusty kestrel]

Ig here

because it's a Modularus related project

[keen ridge]

oh i see

you could also rename the post "Modularus and related projects"

[gusty kestrel]

lemme do that exactly

Modularus: A Self-Bootstrapping Kernel. And Related Projects

Nice

[keen ridge]

yup

[gusty kestrel]

it's gonna be epic

because its a distro of my kernel

btw above 2000+ Messages

nice

[keen ridge]

your kernel has grown very fast ngl

[gusty kestrel]

The core is very small

and some of the parts is salvaged from my older projects like AxeialOS

[keen ridge]

oh i see

[gusty kestrel]

like the core is 80% is only a VFS

and that VFS is from my AxeialOS

[keen ridge]

okok

[gusty kestrel]

updated the first message

to hold the link of both of the projects

the distro and the main kernel

finally a embed on the post

making a distro out of your own kernel is so cool

[keen ridge]

yeah ig

feeling that what you worked on is finally ready for smth

[gusty kestrel]

indeed

[reef girder]

it's cool until you need to package stuff

[gusty kestrel]

yea... maybe that's a concern for later

[gusty kestrel]

Finally some sane log messages

Also error keys my beloved

lets go, i ported the AxeialOS Logger

Also i'm thinking of actually stealing most of the AxeialOS stuff and repurposing

So this is basically a AxeialOS is now a distro of Modularus #1451192963639148707

and iirc i've said this before

"i'll repurpose AxeialOS has a Modularus Distro"

Also Liquid OS would be UNIX with linux binaries

gonna be fun

[gusty kestrel]

that's one way to reuse your older code

[covert heath]

aerosync uses voidframe code and blows up

[gusty kestrel]

you said voidframe was unstable and kind of broken

AxeialOS is not that broken

[covert heath]

what is ts??

[covert heath]

yes it is

[gusty kestrel]

Log paddings

[covert heath]

ik

but why 3 fn call??

[gusty kestrel]

what, yes it calls putchar -> which calls VFS_Open and VFS_Write -> which calls the UART_Write to display on screen

so yea it's following what it should

[covert heath]

i mean

why not PutString("[ ERROR ]:");

[covert heath]

ik

[gusty kestrel]

Oh i see, i have to fix that, it is because of the colors as i ported it from AxeialOS

in between those there must be a SetFG and SetBG calls

which changes colors

of the text

Lemme actually fix that

Thanks btw @covert heath

[covert heath]

ok np

[gusty kestrel]

it is suppose to be like this if colors are allowed

as we are in UART and i dont want to mess with colors

I removed those calls

while porting

[covert heath]

ah yes

[covert heath]

btw color invis

[gusty kestrel]

lmao

some creative naming

btw fixed it

rn

Shit wrong link

[covert heath]

@gusty kestrel (j4f) what if aerosync have a fancy gui kernel shell? (weekends side proj) ☠️

[gusty kestrel]

https://github.com/VOXIDEVOSTRO/LiquidOS

[gusty kestrel]

Oh hell no

don't be like #1461674570846175417

😭

[covert heath]

ik

but i mean why not (famous last words)

[gusty kestrel]

fr

[covert heath]

but i need input stack before that

[covert heath]

yeah

will do that in another 8 years

maybe 10

to see if i can even keep this up

[gusty kestrel]

kernel shell is a kernel s-hell

[covert heath]

nice play on words

[gusty kestrel]

that's what i can quote

[gusty kestrel]

Also it does apply

[covert heath]

yes

[gusty kestrel]

a kernel shell is like a great filter for beginners

in OSDEV

[covert heath]

@gusty kestrel oh already 2k msgs

[covert heath]

yes

[gusty kestrel]

Yes ik, it's quite nice

[covert heath]

though there is an exception

a kdbg

i would make one asap

[gusty kestrel]

What

[covert heath]

kernel debugger?

[gusty kestrel]

i see

[covert heath]

like after kernel have nothung todo

we can load a kbdg kernel

and it spawns a shell

[gusty kestrel]

so a kernel debugger shell?

[covert heath]

basically

like gdb

but for kernels

[gusty kestrel]

ah, i see where this is going

well not a bad idea

[covert heath]

btw kgdb is actually the GNU kernel debugger

so its kdb

[covert heath]

i think osdev have some posts about it

lemme show you a sample

[gusty kestrel]

sure

[covert heath]

*its OS/Z

[gusty kestrel]

OS/2?

[covert heath]

not OS/2

[gusty kestrel]

Ah i see

[covert heath]

the font is crooked for such small size

[gusty kestrel]

Well the question is

how would you actually do anything inside the kdb

[covert heath]

why not?

[gusty kestrel]

also after an exception/fault, the kernel is kind of in an invalid state

[covert heath]

a kdb is selfcontained

and it just look and poke memory

[gusty kestrel]

if you replace a halt loop with a shell loop

[covert heath]

since when kdb are used

[gusty kestrel]

I see

Technically not a bad idea

but i think it's redundant

imo

because if your exceptions LOGS are verbose enough you dont really need it

as you already have what you need

and also when testing in emulators

you already have gbd

But theres an exception

which is real hardware

still the point stands

it's redundant if you have comprehensive exception logs

[covert heath]

remote debugging

[covert heath]

depends....

[covert heath]

and usb driver ain easy 😭

[gusty kestrel]

I've only used GDB once in my life when building AxeialOS

which was triple fault

[covert heath]

same here lmao

[gusty kestrel]

So yea it's not that important to have

optional

[covert heath]

oh nice @gusty kestrel now FKX and ASRX all supports ET_REL and ET_DYN

nice

whats Modularus using?

[gusty kestrel]

The builtin is a ET_REL

[covert heath]

i see

[gusty kestrel]

Liquid OS may replace this with ET_DYN or both

[covert heath]

good

[gusty kestrel]

pushed to Liqix (nickname for LiquidOS)

[gusty kestrel]

[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 (abs:2)
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -14 (abs:14)
                 Reason: Bad address/Not canonical
                 Trace : 0 -> Core/BuiltIns/Linker/*->Linker_Ioctl
[    ERROR    ]: Errored
                 Code  : -14 (abs:14)
                 Reason: Bad address/Not canonical
                 Trace : 0 -> General

btw error reporting reveal

[covert heath]

peak, aerosync dbg routine is test n' guess 🥀

[viscid locust]

Error errored code -2

Understandable ✅

[gusty kestrel]

It's ENOENT iirc also reason is pretty clear

[covert heath]

also there shouldnt be abs of the err, should be a errno to string

though you already got reasons

so abs is redundant

[viscid locust]

Its either just my phone but Ur formatting is wack

[gusty kestrel]

probably phone, it's just bunch of padding for alignment

which makes it scrambled

[covert heath]

likely phone

[gusty kestrel]

That's only a placeholder for the string form of the Error codes, like -1 = EPERM, -2 = ENOENT

instead of wrapping them under the reason strings

[gusty kestrel]

[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 2 -> Core/Main_KExports.c->LookUpKExport
[    ERROR    ]: Errored
                 Code  : -2 | ENOENT
                 Reason: No such file or directory/Not Found
                 Trace : 1 -> Core/BuiltIns/Linker/*->Module_Link
[    ERROR    ]: Errored
                 Code  : -14 | EFAULT
                 Reason: Bad address/Not canonical
                 Trace : 0 -> Core/BuiltIns/Linker/*->Linker_Ioctl
[    ERROR    ]: Errored
                 Code  : -14 | EFAULT
                 Reason: Bad address/Not canonical
                 Trace : 0 -> General

more error updates

No more abs

tho it was a placeholder

why the fuck is my Errors.h SOOO LONG 😭

[buoyant escarp]

[jade narwhal]

wait... .h??

[gusty kestrel]

C header

So ???

[jade narwhal]

oh ok

i thought it was a log or sum shi

[gusty kestrel]

tho does that look clean?

[gusty kestrel]

also btw those error reports are NOT intentional for demo

those are actual problems 😭

[wooden linden]

Could it be spit up into many files and then errors.h just includes the other files?

[gusty kestrel]

ig, maybe put Enum tables in one file and string tables in another

[wooden linden]

C++26 reflection lets you get the string of an enum

Lowkey idk why this isn’t a native feature

[gusty kestrel]

This is C23*

[gusty kestrel]

we need it

[wooden linden]

Why can’t it be like [[generate_strings(str)]] on an enum and then you have char* <enum_name>_str

[warm light]

https://osdev.wiki/wiki/Generate_strings(str)?action=edit&redlink=1

[gusty kestrel]

[covert heath]

the C3 language have this natively

[wooden linden]

C3?

[covert heath]

yes

an experimental replacement for C

https://c3-lang.org/getting-started/

[timid stirrup]

You can do it using the X macro pattern

[reef girder]

so does rust

[covert heath]

with #[derive(Debug)] you mean?

[reef girder]

yes

[covert heath]

i mean yeah, thats a way

[timid stirrup]

debug trait is awesome

[reef girder]

i love rust but they have to make APIs more stable

[covert heath]

i am beginning to love rust

[covert heath]

wdym by that, like for freestanding or what

[timid stirrup]

Like what?

[reef girder]

#![feature(negative_impls)]
#![feature(allocator_api)]
#![feature(str_from_raw_parts)]
#![feature(likely_unlikely)]
#![feature(slice_split_once)]
#![feature(bool_to_result)]
#![feature(box_into_inner)]
#![feature(const_index)]
#![feature(const_trait_impl)]
#![feature(const_cmp)]

also build-std would be nice to have in stable

[dull grotto]

Iirc it's ABI is still unstable

[gusty kestrel]

Liquix or Liqix?

[covert heath]

Liquix

[gusty kestrel]

why I'm being lazy 😭

i must gotta work on Modularus

I mean it's distro Liquix

[covert heath]

relatable

[gusty kestrel]

I procrastinate alot

[gusty kestrel]

hmmm

what should i do

[gusty kestrel]

nvm, i must fix the core errors

[covert heath]

got distracted for a moment

[reef girder]

does that matter

extern C is a thing

[gusty kestrel]

oh god that took a while to fix

i had to revert my linker

to the older one

[gusty kestrel]

FINALLY

i tested the framebuffer and IT WORKS

Damn i can't believe this crazy idea WORKS...

like fr

[gusty kestrel]

Also from the drawing speed... ig its kindof slow because of the VFS overhead

i need to Hyper-optimize those VFS one day to minimize the overhead

[wooden linden]

Why is the framebuffer going through the VFS? Wouldn’t it just be one MMAP call?

[gusty kestrel]

for now i exposed as /framebuffer node in the sysfs++

[gusty kestrel]

which is basically like a devfs node

[wooden linden]

So every pixel write has to go through the VFS?

[gusty kestrel]

yes...

[wooden linden]

🥀

That’s honestly fast for it having to do that

Add MMAP support tho pls

[gusty kestrel]

should not be that hard imo

[gusty kestrel]

famous last words

[dull grotto]

My development speed has been halved

[gusty kestrel]

Why?

[dull grotto]

Mon-Fri: Uni drains energy
Weekends: I want to just relax

[gusty kestrel]

Valid... After my vacations i have my final school year's semester

literally one day after i arrive at home 😭

[dull grotto]

Professors are just dumping assignments after assignments

[gusty kestrel]

Avg professor ngl

[dull grotto]

Let me tell you the fun part, I have to write program by hand on a piece of paper for Design and Analysis of Algorithm

Not the analysis part, the actual implementation

[dull grotto]

For lab

[gusty kestrel]

Sounds fun, i remember when in exams i randomly wrote C code on back of my Question paper

which is empty

[dull grotto]

It's soooo fun, unless you have 5 other subjects each with assignments due every week, and the implementation can range from very sort (basic searching) to extremely long and tedious

[gusty kestrel]

Guys what should i do today???

make a boot console

So i can have some proper text on screen

[covert heath]

also add ANSI colors like aerosync did just a few hours ago!

[gusty kestrel]

cool!

[covert heath]

thnks

quite nice addition

though prob not gonna use it

since im not changing the whole code base 😭

[gusty kestrel]

You can use for logs

Colored tags

[covert heath]

that is fine

but we have to end it

i mean reset

[gusty kestrel]

I see

[covert heath]

theres prob a workaround though

its likely janky

[gusty kestrel]

real

btw

Guys should i port AxeialOS console OR make my own?

I'm too lazy to make my own atp

AxeialOS code works for Liquix quite well

[viscid locust]

flanterm is a savior ok that matter

[gusty kestrel]

Liquix SPEAKS to the screen

ported the AxeialOS EarlyBootConsole to Liquix

[gusty kestrel]

I wonder if i can port flanterm to Liquix

[gusty kestrel]

Well obviously you can

Modularus allows that happily and i can have both consoles

AxeialOS one and flanterm

Modularus <3

[viscid locust]

Easily.

It requires 6 lines of setups.

Don't know why you would though as you have your own .

[gusty kestrel]

mindblowing, my AxeialOS boot console took 2 extra wrap functions and some wiring with the emitter (roughly 50LoC worth of changes) 😭

[gusty kestrel]

I'm taking advantage of my old code

[covert heath]

why dont you port linearfb? 😛

oh nvm flanterm is full console

[gusty kestrel]

@covert heath

[covert heath]

peak

(dont ask why im always here)

[gusty kestrel]

This is a complete clone of the AxeialOS loggers 😭

[gusty kestrel]

Sorry

[covert heath]

at least it works

thats what we wanted

[covert heath]

np

[gusty kestrel]

But yeah this is a huge thing for modularus

[covert heath]

whar

huge?

[gusty kestrel]

Big achievement

Because atp, EVERYTHING IS A MODULE

or A FILE

[covert heath]

ah yes

[gusty kestrel]

Pushed the changes guys!

[gusty kestrel]

Guys what should i do now???

WAIT FIRST THINGS FIRST we need GDT/IDT/TSS and stuff

[covert heath]

yes

as usual

[gusty kestrel]

bump

imma make GDT which runs on files

insane idea

which is possible thanks to Modularus

Thinking so that when the GDT.ko will be loaded and linked

in the STANDARD _start entry i would create a SYSTEM directory node (/gdt/)

and attach

with list/array of GDT indices

Each index as a file in /gdt/

[buoyant escarp]

this is questionable

[gusty kestrel]

like
/gdt/index0
/gdt/index1

etc

[gusty kestrel]

indeed, i was suprised that this is even possible 😭

[gusty kestrel]

tho to create those indices

i will have a control node too in /gdt/gdtctl

which i can ioctl with request new index

which makes a blank index

[wooden linden]

To be fair the GDT never really needs changing much if at all and the only dynamic part is the pointer to the TSS

I think it could easily be a static module that loads and executes and unloads once it’s setup the needed things

[gusty kestrel]

fr, i actually don't see any use of it

but when wondering that thought came to my mind

[wooden linden]

You really shouldn’t use any of it even on x86-32 platforms

Just have static tables loaded z+ a TSS and load some stacks in there etc

And swap them when needed

Paging does 99% of the job

[gusty kestrel]

true

[wooden linden]

You just need the GDT in a very specific format to work for x86-64 platforms with syscall

[gusty kestrel]

I know

[wooden linden]

Sorry

[gusty kestrel]

my kernel is in the osdev wiki

this is fire

[gusty kestrel]

Also race conditions IN modularus is gonna be ☠️ 💀 💥

nightmare to dbg

[gusty kestrel]

i'll make Modularus resilient asf

and hyper-optimized

[viscid locust]

huh

How where and why

[viscid locust]

Ohh wow I had to dig deep to find it.

For anyone wondering its under Resources/More/Projects/M/Modularus.

It was a pain to find.

[gusty kestrel]

lol

[covert heath]

where is the axe in the leg server?

did i literally just got kicked out?

[jade narwhal]

wait where is it @gusty kestrel i also got kicked out??
did it get deleted?

[covert heath]

i think so

i paniked

[jade narwhal]

tell me whyyyy

[covert heath]

IDFK

i m like you

😭

[jade narwhal]

i wasnt asking you :D

[covert heath]

😭

[covert heath]

remember that

[covert heath]

cant talk to an inactive account 🥀

[covert heath]

@jade narwhal i have no where to post shit anymore 😭

[night bough]

Where is the server??

[night bough]

Y'all got kicked out too?

[covert heath]

yeah,you too?

[jade narwhal]

server kaboom

also do yall think that @gusty kestrel quit discord?

[covert heath]

idk

tho

[jade narwhal]

likely tbh
he did post the fluxer port

[covert heath]

but he actually never use it

and he should do an announcement

[covert heath]

not actiively

so sad

WHERE IS YOU? @gusty kestrel

youre right (visually)

[keen ridge]

what are you talking about

[covert heath]

all of us get kicked out of @gusty kestrel '

server

[keen ridge]

oh

[covert heath]

and hes been inactive for 2 days

[keen ridge]

why

[covert heath]

i genuinely have no idea

he could be using another platform like fluxer

or matrix

but also no sign here 😭

[keen ridge]

i see

[buoyant escarp]

theres a modularus fluxer server

join the osdev one its linked somewhere