News for hackers. Stuff that matters.
Re:Tilck – A Tiny Linux-Compatible Kernel by andix on Sunday January 08, 2023 @08:01AM (#34298754)
It would be really interesting for me, to once see a kernel in a higher language than C. Would it be possible to write something like that in Rust, or am I missing something?
Re:Tilck – A Tiny Linux-Compatible Kernel by grawp on Sunday January 08, 2023 @08:24AM (#34298913)
Rust is definitely NOT a higher language than C and there are dozens of OSs like TockOS, R3 and OS-like frameworks (like embassy-rs and RTEMS-inspired RTIC) written in it in the embedded world and quite a few in nonembedded world (i.e. world where you have MMU not just MPU or less).
Re:Tilck – A Tiny Linux-Compatible Kernel by Tomte on Sunday January 08, 2023 @08:03AM (#34298768)
https://www.redox-os.org/

There are many many small hobby OSes in all kinds of languages: https://wiki.osdev.org/Projects

Re:Tilck – A Tiny Linux-Compatible Kernel by lproven on Sunday January 08, 2023 @10:26AM (#34299847)
There are many.

There is Oberon:

http://ignorethecode.net/blog/2009/04/22/oberon/

That's a whole family of OSes, from tiny text-mode up to SMP, TCP/IP-capable GUI OSes, in the language that followed Modula-2 (which in turn was the successor to Pascal.)

There was TUNIS, a UNIX implemented in a Pascal derivative:

https://en.wikipedia.org/wiki/TUNIS

Here's a whole article on them I wrote last year:

https://www.theregister.com/2022/03/29/non_c_operating_syste...

Re:Tilck – A Tiny Linux-Compatible Kernel by chillfox on Sunday January 08, 2023 @10:36AM (#34299931)
There are lot's of kernels written in higher level languages (including languages with a GC). Really, if you start searching for them then you will find several every day for weeks if not months.
Re:Tilck – A Tiny Linux-Compatible Kernel by pjmlp on Wednesday January 11, 2023 @08:26AM (#34338122)