Hacker GitHub

← All repos

redox-os/redox

View on GitHub ↗ ★ 16,679 Rust

Mirror of https://gitlab.redox-os.org/redox-os/redox

47 mentions on Hacker News by 41 people: 11 stories, 36 comments · first 2015-10-03 · latest 2023-08-30

Mentions per year 47 mentions · busiest year 2017 (15)
20082026
AllStoriesComments NewestTopOldest
  1. Redox is full fledged OS written in rust by Pop OS developer https://github.com/redox-os/redox
    comment by nitinreddy88 · 2023-08-30 · in Fomos: Experimental OS, built with Rust
  2. …support in the past several decades. Honestly, what's Hurd doing wrong to flounder so hard? [0] https://github.com/redox-os/redox/releases/tag/0.0.3 [1] https://github.com/brutal-org/brutal/releases [2] https://serenityos.org/happy/1st/
    comment by jdiff · 2023-08-08 · in Gnu/Hurd strikes back: How to use the legendary OS in a (somewhat) practical way
  3. …[1] https://github.com/froggey/Mezzano/graphs/contributors [2] https://github.com/redox-os/redox/graphs/contributors [3] https://github.com/SerenityOS/serenity/graphs/contributors
    comment by eatonphil · 2022-04-01 · in The wild world of non-C operating systems
  4. …when I was learning to program. And yet now, we have plenty of projects and nobody contributing. https://github.com/redox-os/redox/graphs/contributors This graph doesn't look so healthy. Projects with one major contributor tend to die the…
    comment by panny · 2021-07-16 · in Porting QEMU to RedoxOS
  5. …an interesting project. [0] https://www.haiku-os.org/ [1] https://github.com/KnightOS/KnightOS [2] https://github.com/redox-os/redox
    comment by eindiran · 2020-10-28 · in New Interesting Operating Systems?
  6. …Blown away that the same person leading Redox-OS[0] is also in a leadership role at System76!!! [0] https://github.com/redox-os/redox/graphs/contributors
    comment by equalunique · 2019-10-10 · in System76 Will Ship Linux Laptops With Coreboot-Based Open-Source Firmware
  7. …I am also happy to follow two OS projects in these two: [1] https://github.com/mit-pdos/biscuit [2] https://github.com/redox-os/redox
    comment by qlk1123 · 2019-03-29 · in Go 2018 Survey Results
  8. …to diff people, and I don't know how many people use it in Prod, but have you looked at redox: https://github.com/redox-os/redox
    comment by dorfsmay · 2018-10-08 · in The benefits and costs of writing a POSIX kernel in a high-level language
  9. …Outside the core project, Ticki was involved with RedoxOS, an OS written in Rust: https://github.com/redox-os/redox#-ecosystem- Particularly the TFS filesystem: https://github.com/redox-os/tfs TFS naver came to fruition, so RedoxOS still ru
    comment by twic · 2018-05-07 · in Why I'm leaving Open Source
  10. ▲ 39
    Redox OS Release 0.4.1
    story by jackpot51 · 2018-04-01 · 11 comments
  11. …the micro-kernel services as actors. That would be amazing! 1: https://nerves-project.org/ 2: https://github.com/redox-os/redox
    comment by elcritch · 2018-03-26 · in Gokrazy: A pure-Go userland for Raspberry Pi 3 appliances
  12. ▲ 2
    Redox OS 0.3.5 – New Network Stack
    story by jfreax · 2018-03-23 · 0 comments
  13. ▲ 15
    Redox OS Release 0.3.5 – New Network Stack
    story by jackpot51 · 2018-03-23 · 0 comments
  14. …purposes (and through which they can teach things). At least, that's my impression of it. Redox ( https://github.com/redox-os/redox ) is a Rust OS project that's aiming to actually be a usable consumer OS.
    comment by Manishearth · 2018-03-10 · in Writing an OS in Rust, Second Edition
  15. Here is the "Redox Crash Challenge": https://github.com/redox-os/redox/issues/1136 According to the Redox book, at last count they had 70 cases of unsafe across 4500 total lines of kernel code. https://doc.redox-os.org/book/introduction/uns…
    comment by dtolnay · 2018-02-03 · in Google’s Fuchsia OS on the Pixelbook
  16. ▲ 179
    Redox OS Crash Challenge
    story by dragostis · 2018-01-21 · 80 comments
  17. Redox is interesting and shows promise https://github.com/redox-os/redox ...but it’s in no way a departure from the status quo, even referring to itself as kernel + GNU/BSD style ecosystem. I wonder if we will see a new paradigm anytime…
    comment by jm547ster · 2018-01-12 · in An Experimental Course on Operating Systems
  18. Well at least someone is already trying to write an OS with Rust. https://github.com/redox-os/redox
    comment by ksec · 2017-11-16 · in Towards Linux Kernel Memory Safety
  19. …in Rust called Redox[0] and Google is also working on a new mobile OS called Fuchsia[1]. [0]: https://github.com/redox-os/redox [1]: https://github.com/fuchsia-mirror
    comment by matteing · 2017-11-16 · in Ask HN: What should an ideal, all-new OS look like?
  20. https://github.com/redox-os/redox
    comment by rkangel · 2017-10-06 · in Building on Rock, Not Sand
  21. ▲ 232
    Show HN: Redox Rust OS – v0.3.3 release
    story by jackpot51 · 2017-09-20 · 76 comments
  22. …Arduino and it's ilk are definitely not full OS'. For actual Kernel hacking in Rust, there is: - https://github.com/redox-os/redox - https://intermezzos.github.io/book/ - https://os.phil-opp.com/ All of those projects seem very…
    comment by bluejekyll · 2017-09-18 · in Fuchsia: Google's modular, capability-based, non-Unix operating system
  23. ▲ 5
    Redox (Rust OS) Release 0.3.1
    story by jackpot51 · 2017-08-22 · 0 comments
  24. does https://github.com/redox-os/redox address any of these pain points? i asked: https://github.com/redox-os/redox/issues/987
    comment by leeoniya · 2017-07-06 · in Privileged Ports Are Expensive (2016)
  25. …C is approaching 50 years old. C/C++ has _a lot_ of momentum, history, and existent libraries. [1] https://github.com/redox-os/redox [2] https://github.com/ctz/rustls [3] https://github.com/briansmith/ring [4]…
    comment by valarauca1 · 2017-06-28 · in Increasing Rust’s Reach
  26. …aren't really any other weird symbols for the category of language Rust is. For example things like https://github.com/redox-os/redox or https://github.com/servo/servo would be very hard to write in both Python & Go, because they require…
    comment by AsyncAwait · 2017-04-27 · in Rust 1.17
  27. …popular/used-in-production kernels, but there are OS's being written in Rust, e.g. Redox [1] [1] https://github.com/redox-os/redox
    comment by wtetzner · 2017-04-24 · in Linked Lists Are Still Hard
  28. ▲ 3
    Redox, an operating system written in Rust
    story by isof4ult · 2017-04-13 · 0 comments
  29. ▲ 2
    Redox 0.1.5 released
    story by webaholic · 2017-04-13 · 0 comments
  30. …source of problems. And you can introduce better languages gradually. > operating systems, drivers https://github.com/redox-os/redox > IP stacks https://github.com/QuiltOS/QuiltNet Many of those are often written in userspace, where you…
    comment by fiedzia · 2017-03-27 · in Curl is C
  31. You might be interested in checking out Redox. https://github.com/redox-os/redox
    comment by charlieegan3 · 2017-01-10 · in Ask HN: Recommendation for a non-Linux OS to play around with?
  32. …like zxfer* taking snapshots on a schedule and shipping the diffs to a second, third etc. box? * https://github.com/redox-os/redox
    comment by senorsmile · 2017-01-02 · in MARS: Replicating Petabytes Over Long Distances [pdf]
  33. ▲ 2
    First Redox OS ISO Release
    story by jackpot51 · 2016-12-01 · 0 comments
  34. ▲ 4
    Redox: A Rust Operating System
    story by yberreby · 2016-11-01 · 0 comments
  35. …more information at our website: https://www.redox-os.org - See the code at our github repository: https://github.com/redox-os/redox - See all of our repositories at our github organization: https://github.com/redox-os Cross post from…
    comment by jackpot51 · 2016-07-29 · in The Internet on Redox
  36. Surely you've heard of Redox[1]? [1] https://github.com/redox-os/redox
    comment by chris_st · 2016-03-29 · in Sortix 1.0 Operating System Released
  37. ▲ 2
    RedoxOS: An Operating System Written in Rust
    story by djsumdog · 2016-03-21 · 0 comments
  38. …look over the code to try to find what documentation is actually there, but I managed to find this https://github.com/redox-os/redox/blob/master/kernel/fs/url.... On your question of how typical a lack of system-internal documentation is…
    comment by jaltekruse · 2016-03-20 · in Redox – A Unix-Like Operating System Written in Rust
  39. …anyone who might need to work with this code will find its structure and details intuitive? [1] https://github.com/redox-os/redox/tree/master/kernel/
    comment by kpozin · 2016-03-19 · in Redox – A Unix-Like Operating System Written in Rust
  40. …to know a good point to start I'd love to hear. Edit: Found it, in case anyone else is interested: https://github.com/redox-os/redox/blob/master/CONTRIBUTING.m...
    comment by ethanbond · 2016-03-19 · in Redox – A Unix-Like Operating System Written in Rust
  41. There's a bit more info here: https://github.com/redox-os/redox/wiki/URL
    comment by Manishearth · 2016-03-19 · in Redox – A Unix-Like Operating System Written in Rust
  42. …I'd suggest looking through Joe Duffy's blog posts[3] as he explains it better than I could. [1] https://github.com/redox-os/redox [2] https://en.wikipedia.org/wiki/Midori_(operating_system) [3] http://joeduffyblog.com/2015/12/19/safe-nativ…
    comment by dalailambda · 2016-02-22 · in Why C++ sucks (2016 edition)
  43. https://github.com/redox-os/redox https://github.com/uutils/coreutils
    comment by efuquen · 2016-02-16 · in Glibc getaddrinfo stack-based buffer overflow
  44. …codes. Looking forward to seeing how these efforts come together. 0: http://wiki.osdev.org/Rust 1: https://github.com/redox-os/redox
    comment by mitchtbaum · 2016-01-02 · in Writing an OS in Rust: Remap the Kernel
  45. …complete Rust-based OS, the Redox people appear to have gone into overdrive in the last few weeks: https://github.com/redox-os/redox The #rust-osdev channel on Mozilla IRC is also full of great folks, who've helped me with all kinds of…
    comment by ekidd · 2015-11-11 · in Bare Metal Rust 2: Retarget your compiler so interrupts are not evil
  46. I recently found out about Redux: https://github.com/redox-os/redox It's pretty incredible how quickly it's come together, there's a reasonable looking GUI already! Edit: The author also did an AMA on reddit:…
    comment by bitdivision · 2015-10-25 · in Writing an OS in Rust
  47. …which is written in Rust (and heavy WIP). It did actually use a lot of unsafe, though. [0] https://github.com/redox-os/redox
    comment by f_ · 2015-10-03 · in Experiences Building an OS in Rust