OSDev.org

Hi, OSDev.org!

Here's the first version of my UEFI loader! For now it can only boot Linux EFI stub kernels and other valid EFI executables. The configuration format is INI.

In action. Options are selected by pressing the corresponding letter.

My next goal is to design a boot protocol and start writing my own microkernel.

Nice to see that you've finally released this.

Looks neat!
When can we expect to start seeing your microkernel? From its name - obviously - I assume it will be Unix-like?

good job!

When can we expect to start seeing your microkernel?

I'm not sure about that. It's in the design stage at the moment, L4 family might become my inspiration. Another question is what language will I implement it in: I'm considering Rust, Nim and good-old C.

I assume it will be Unix-like?

It's not going to be a Unix clone, but it will adopt some parts of the Unix philosophy. I'm considering "everything is a file" and Unix permissions (or ACLs?) as the basis for the security model, the other option is capability-based security, which I don't know much about, but will research soon.

Right now I'm in the Alps, so I'll get back to work only on Saturday.

Roman wrote:I'm considering Rust, Nim and good-old C.

You're planning on using all three simultaneously, or those are your three options?

Roman wrote:Right now I'm in the Alps, so I'll get back to work only on Saturday.

Have fun!

You're planning on using all three simultaneously, or those are your three options?

Of course, these are different options.

Have fun!

Thanks!

Looking good. By the way, is your profile picture from Back To The Future? I'm just kinda curious.

Yes, that's Dr. Emmet Brown.

Nice to see that people on OSDev.org make something exotic.

looks like a rocket science to me.