top | item 40445099 BreadboardOS firmware for the Raspberry Pi RP2040 features a Linux-like terminal 34 points| rcarmo | 1 year ago |cnx-software.com 5 comments order hn newest [+] [-] avmich|1 year ago|reply DiscoBSD http://www.discobsd.org/ seems to be possible to use for similar things. [+] [-] ranger_danger|1 year ago|reply Do you know of anyone that is actually using DiscoBSD in production? I've never heard of it before. load replies (1) [+] [-] snvzz|1 year ago|reply I'd look at seL4, or nuttx if lazy. [+] [-] 5ADBEEF|1 year ago|reply Zephyr would also be well suited for something like this. Anyone aware of any projects that do something similar with Zephyr?
[+] [-] avmich|1 year ago|reply DiscoBSD http://www.discobsd.org/ seems to be possible to use for similar things. [+] [-] ranger_danger|1 year ago|reply Do you know of anyone that is actually using DiscoBSD in production? I've never heard of it before. load replies (1) [+] [-] snvzz|1 year ago|reply I'd look at seL4, or nuttx if lazy.
[+] [-] ranger_danger|1 year ago|reply Do you know of anyone that is actually using DiscoBSD in production? I've never heard of it before. load replies (1)
[+] [-] 5ADBEEF|1 year ago|reply Zephyr would also be well suited for something like this. Anyone aware of any projects that do something similar with Zephyr?
[+] [-] avmich|1 year ago|reply
[+] [-] ranger_danger|1 year ago|reply
[+] [-] snvzz|1 year ago|reply
[+] [-] 5ADBEEF|1 year ago|reply