Hacker News new | past | comments | ask | show | jobs | submit login
Debug Programs Using GDB on Redox OS (redox-os.org)
74 points by rbanffy 16 days ago | hide | past | favorite | 13 comments



I'd love if I was able to run redox or some other microkernel-based open-source OS on my Raspberry Pi 4... Does anyone know if there's any? edit: ideally with working net, WiFi would be best but I can live with cable.



Unfortunately Genode support for RPi 3 seems to be not yet in a working state, and even then I don't know how much it would translate to RPi 4; see:

https://github.com/genodelabs/genode/issues?q=is%3Aissue+is%...

Both seL4 and Fiasco are microkernel names, not full OSes built on those 'kernels, I was asking about OSes. IOW, AFAIU neither seL4 nor Fiasco provide clock or Ethernet drivers for RPi4. Or do they?

As to FreeRTOS, people seem to mention it's not really microkernel-based at all? I am interested in proper isolation, so that a crashed filesystem driver can be restarted without taking down other independent drivers, or unloaded completely on the fly. I will take look on it, from wikipedia alone it's not yet clear to me if it has this feature. Thanks for the mention!


FreeRTOS isn't really a microkernel. It arguably doesn't really have a kernel.

Also, Genode is a user land. Saying Genode and sel4/fiasco is like saying Debian _and_ Linux.


>FreeRTOS isn't really a microkernel.

https://www.freertos.org/RTOS.html

>Also, Genode is a user land.

No it's a operating system framework, and every kernel they provide is a micro-kernel.

> Saying Genode and sel4/fiasco is like saying Debian _and_ Linux.

Debian is a Distribution, Linux is a Kernel, you could have said Gnu/Linux and you where less wrong, but your comment is utter bullshit and full of flaws, with my links seL4 and fiasco you have a "fully" working system, reading your comment it's like saying that Linux from scratch is just a kernel.


> FreeRTOS...

I don't really care what FreeRTOS's site says. There's no way to ship a FreeRTOS implementation that doesn't link the drivers (and the user application for that matter) directly into the kernel. It's not a microkernel, but stems from an era when microkernel was such a buzzword people tried to apply the term to operating systems that didn't even have processes. I think they were thinking that if early VXWorks got to call themselves a microkernel then FreeRTOS gets to as well.

> No it's a operating system framework, and every kernel they provide is a micro-kernel.

Right so the code Genode provides is a userland. They don't have their own kernel but instead give you a selection of several third party kernels.

> your comment is utter bullshit and full of flaws

Please keep your comments civil.

> with my links seL4 and fiasco you have a "fully" working system, reading your comment it's like saying that Linux from scratch is just a kernel.

No, you don't have a '"fully" working system'. seL4 for instance needs something like Genode or CAmkES to get there. seL4 in it's verified mode doesn't even have any I/O in it's codebase (and unverified only provides a debug UART). Fiasco needs something like Genode or L4RE.

And no, Linux from scratch is very very close to CAmkES/Genode. It'd be almost a 1-1 if Linux from scratch had a more standard build system across it's components.


>I don't really care what FreeRTOS's site says.

And i dont care what you personal believe of a Kernel is.

https://www.freertos.org/a00020.html

>Right so the code Genode provides is a userland. They don't have their own kernel but instead give you a selection of several third party kernels.

Like Debian right? The Kernel's are (where) Hurd, Linux and, kFreeBSD

>And no, Linux from scratch is very very close to CAmkES/Genode.

Ahh an Operating-system with Userland and a Kernel right?

>Fiasco needs something like Genode or L4RE

Something like...NO its called Userland and you can add them like in LFS.


> And i dont care what you personal believe of a Kernel is.

> https://www.freertos.org/a00020.html

That's literally the documentation for what you can directly link against the kernel as a driver writer. That link if anything proves that it's not a microkernel. (By the way, you're talking to someone who's written a few FreeRTOS BSPs).

> Like Debian right? The Kernel's are (where) Hurd, Linux and, kFreeBSD

So wait, is Genode like Debian or not? You were fighting that just a comment ago.


I don't believe Redox fits the bill for this--so far, the kernel is only written to support x86 architectures at the moment. I do think there's been a couple of Redox Summer of Code students who have been funded to work on porting it to ARM over the last couple of years, although I don't think they've pushed it over the goal line.

The BDFL seems to mainly work on x86 (he's at System76, and I don't think they have any ARM offerings at the moment), so not sure how much of a priority that is at the moment.


> System76, and I don't think they have any ARM offerings at the moment ...

This is slightly off topic, but I'd love if System76 were to partner with Pine64 to produce consumer level products based on their designs.

I would love a S76 PinePhone for example, or if they were to do a take on the Pinebook Pro for an affordable laptop.


Also

Haiku:

https://www.haiku-os.org/guides/building/compiling-arm/

But what do you want with Redox? It's the "80% OS form the 80%-Dudes"…

Pure waste of time even looking at it. Besides broad climes wrapped in marketing-BS-speech there is more or less nothing that works.

Even GNU/Hurd is more usable[1]! ;-) (Only that there is no ARM port of Hurd afaik).

[1] https://www.debian.org/ports/hurd/hurd-install.


Why are you even interested in Operating Systems with that attitude? Just use Windows and MacOS and leave other peoples use what they wanna use or produce.


Is this a custom GDB server stub that the kernel serves up, or some sort of ptrace-like implementation that GDB can talk to directly?




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: