forum.opennet.ru

"LiveCD с демонстрацией работы открытой микроядерной ОС Genode "

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "LiveCD с демонстрацией работы открытой микроядерной ОС Genode "	–1 +/–
Сообщение от nowinter (?), 23-Ноя-10, 01:21
> Ну, понятно. Конкретных примеров "безопасных" ОС промышленного уровня, написанных не на > Си у вас нет. Зато есть 5 экранов пространных рассуждений о > том, насколько такие гипотетические ОС лучше существующих. Вы пытаетесь спорить против > очевидных фактов, отстаивая какие-то собственные идеалы, плохо соотносящиеся с реальностью. > Честно говоря, комментировать ваш поток сознания и даже читать его до > конца у меня нет ни времени ни желания, уж извините. Всего > наилучшего. слив, конечно же, давно защитан
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

LiveCD с демонстрацией работы открытой микроядерной ОС Genode , opennews, 17-Ноя-10, 22:44 [смотреть все]

а внутри паравиртуализированного Linux-окружения ещё qemu запустить можно , Аноним, 17-Ноя-10, 22:44 (1) //
- а под qemu запустить винду, в ней Дюну 2 и спросить на тут почему звук неработае, Тестер, 17-Ноя-10, 23:29 (2)
можно ли в Linux е, BSD сделать такой выпадающий терминал как в сабже Еще чтоб, mr.yaky, 18-Ноя-10, 00:40 (3) //
- quake console или как-то так, Аноним, 18-Ноя-10, 01:28 (4)
- yeahconsole - описано тут http pro-amateur livejournal com 19451 html, Аноним, 18-Ноя-10, 02:50 (7)
- Смотря какая DE В кедах Yakuake в гноме, тоже какое-то решение было честн, Avator, 18-Ноя-10, 03:06 (8) //
  - под gtk2 есть tilda должна быть в репозитории вашего дистрибутива, shm, 18-Ноя-10, 09:48 (16)
  - guake, jumper, 19-Ноя-10, 15:42 (47)
имхо если встречают по одёжке, то первое впечатление шикарное очень няшный скри, Voviandr, 18-Ноя-10, 01:33 (5)
ИМХО, за микроядерной архитектурой будущее, только жаль что как-то медленно проц, Аноним, 18-Ноя-10, 02:12 (6)
С середины 80-х годов, 15 лет уже Смешно сказать, новые ОС образца 85-87-гг дел, Vkni, 18-Ноя-10, 06:54 (9) //
- нету у вас в 2010-м UNIX, 1, 18-Ноя-10, 07:33 (10)
- o_O, нон, 18-Ноя-10, 07:40 (11) //
  - Да, 25, опечатался , Vkni, 18-Ноя-10, 16:35 (33)
- попробуйте OS Inferno возможно вам понравится--2010 - 15 , AHAH, 18-Ноя-10, 08:48 (12) //
  - ну причём тут , broki, 18-Ноя-10, 09:30 (14)
  - Опечатался, 25 , Vkni, 18-Ноя-10, 16:36 (35)
- Что, у вас вот прямо так монолитный и даже не модульный И именно UNIX Чего это, User294, 18-Ноя-10, 14:15 (23) //
  - модульная микроядерная, dq0s4y71, 18-Ноя-10, 15:44 (29)
  - Линукс и БСД - это Юниксы, по факту, а не по формальностям А всё остальное -чис, Vkni, 18-Ноя-10, 16:40 (36)
  - Нет, криокамера , Аноним, 19-Ноя-10, 08:11 (44)
- А что с Хайку Почему они не могут микроядерную структуру допилить Какой-то гиб, Аноним, 18-Ноя-10, 16:32 (32) //
  - гибрид - это вынужденный шаг для увеличения быстродействия там где это критично , fidaj, 18-Ноя-10, 16:42 (37) //
    - Видимо будущее за гибридами , Аноним, 18-Ноя-10, 17:00 (38)
      - Видимо будущее за NT , анонимус, 19-Ноя-10, 17:46 (48)
Очередная априори дырявая поделка - на этот раз на C , paxuser, 18-Ноя-10, 08:57 (13) //
- не, не видимо, нужно так Очередная априори дырявая поделка - на этот раз на C , broki, 18-Ноя-10, 09:32 (15) //
  - Мои тезисы эмпирически обоснованы опытом всех сложных публичных проектов на C ,, paxuser, 18-Ноя-10, 10:58 (17) //
    - поделись друх откровениями -- что за протокол такой SSH,который предпочтительнее, Unknown, 18-Ноя-10, 11:16 (18)
      - А сам-то ты что-нибудь понимаешь, хамло Наличие отсутствие парсера ASN 1 различ, paxuser, 18-Ноя-10, 11:36 (19)
        
        А ведь вы кое в чем правы, к сожалению SSL как протокол - излишне наворочен Чт, User294, 18-Ноя-10, 14:55 (26)
    - а на каких языках по вашему правильно создавать новые ОС и обоснованно заявлять , jl2001_унлогинед, 18-Ноя-10, 12:23 (20)
      - На типобезопасных языках, вроде оберонов Лучше в плане безопасности потому, что, paxuser, 18-Ноя-10, 12:38 (21)
        
        Есть такой фрукт, D J Berstein Который известен в том числе и тем что как ни , User294, 18-Ноя-10, 14:50 (25)
        
        Для qmail не выплачивал, потому что выкрутился И каков размер вознаграждения Е, paxuser, 18-Ноя-10, 15:21 (28)
    - Ну вон в вебе появились другие люди Там вообще в принципе не важно какая операц, User294, 18-Ноя-10, 14:33 (24)
      - Появление в вебе других людей, о которых я говорил, началось и закончилось году , paxuser, 18-Ноя-10, 15:48 (30)
        
        Так, к сожалению, многие даже если и читают, то видят только то, что хотят увиде, xxx, 18-Ноя-10, 18:20 (39)
        
        Если вы иного мнения об OpenBSD - дело ваше Вот только несуществующих желаний п, paxuser, 18-Ноя-10, 18:46 (40)
        
        Может быть, такие Если уж хотите ткнуть, так смотрите, во что At first, in orde, PereresusNeVlezaetBuggy, 20-Ноя-10, 02:23 (52)
        
        Эксплойт не работал уже в 4 4 Я перепутал год добавления запрета на маппинг нул, paxuser, 20-Ноя-10, 09:41 (54)
    - Вы бы для начала сами определились бы, что важнее - язык, на котором написана оп, dq0s4y71, 18-Ноя-10, 16:13 (31)
      - Да нет, уважаемый, это вы переводите вопрос в плоскость что важнее Детская по, paxuser, 18-Ноя-10, 16:35 (34)
        
        Вообще-то, именно вы написали тут главное не язык , хотя несколькими постами ра, dq0s4y71, 18-Ноя-10, 18:46 (41)
        
        Вообще-то я написал это в ответ на вопрос о конкретном языке, и смысл моих слов , paxuser, 18-Ноя-10, 20:01 (42)
        
        Ну, судя по тому, что вы не поленились написать ответ на один из этих опусов д, dq0s4y71, 19-Ноя-10, 13:44 (46)
        
        Буквально это я и имел ввиду удовольствие разбирать Вы пришли, исказили смысл , paxuser, 19-Ноя-10, 19:04 (49)
        
        Ну, понятно Конкретных примеров безопасных ОС промышленного уровня, написанны, dq0s4y71, 19-Ноя-10, 20:08 (50)
        
        Я назвал конкретные примеры, вы их проигнорировали И не в первый раз Разговари, paxuser, 19-Ноя-10, 20:26 (51)
        слив, конечно же, давно защитан , nowinter, 23-Ноя-10, 01:21 (55)
  - Спецификация языка - они гибкие, но не обеспечивают надёжности ПО , b, 18-Ноя-10, 13:47 (22)
- Да ладно, автор этой системы в прошлом году докторскую писал по теме Securing G, cobold, 19-Ноя-10, 00:40 (43)
На когда голосование намечено , soccer, 18-Ноя-10, 15:00 (27)
Debian GNU kGenode будет , demo, 19-Ноя-10, 10:55 (45)
Три вещи 1 Интегрирован Qt4 Webkit 2 Реально быстрая загрузка на QEMU без по, Sabayonner, 09-Сен-11, 21:10 (56)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру