From: david@boddie.org.uk
To: 9fans <9fans@9fans.net>
Subject: Re: [9fans] student exchange
Date: Sun, 7 Dec 2025 16:39:04 -0500 [thread overview]
Message-ID: <17651435440.d8Ca7.15730@composer.9fans.topicbox.com> (raw)
In-Reply-To: <bd194d38-8a07-48a8-9dc2-b44396dca81f@app.fastmail.com>
[-- Attachment #1: Type: text/plain, Size: 881 bytes --]
On Sat, 06 Dec 2025, certanan wrote:
> Yes. Though I haven't yet stumbled across people who are properly interested in OSes in Czechia (neither at Matfyz nor at CTU). If you know any such people, I'd really appreciate if you pointed me in their direction.
HelenOS is/was being developed at Charles University:
https://www.helenos.org/index.fcgi/wiki/FAQ#WhatisHelenOSusedfor
Perhaps there is more recent information about the current state in this podcast:
https://syslog.show/2020/09/15/episode8.html <https://syslog.show/2020/09/15/episode8.html#ee18e366>
It looks like it's also hosted/mirrored on GitHub:
https://github.com/HelenOS/helenos
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T764b871986123308-Mde0374cfddde2f3bb76af24e
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
[-- Attachment #2: Type: text/html, Size: 1680 bytes --]
next prev parent reply other threads:[~2025-12-07 21:51 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-11-30 20:47 [9fans] student exchange certanan via 9fans
2025-12-02 7:30 ` Bruce Ellis
2025-12-02 14:33 ` Shawn Rutledge
2025-12-02 15:23 ` Pavel Klinkovský
2025-12-06 21:55 ` certanan via 9fans
2025-12-07 6:54 ` Pavel Klinkovský
2025-12-07 16:59 ` Tomáš Rodr
2025-12-07 21:39 ` david [this message]
2025-12-02 17:49 ` dogma via 9fans
2025-12-06 21:49 ` [9fans] " certanan via 9fans
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=17651435440.d8Ca7.15730@composer.9fans.topicbox.com \
--to=david@boddie.org.uk \
--cc=9fans@9fans.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).