С учётам библиотек и GHC, разумеется. Вместе они весят пару сотен мегабайт.

Так это toolchain, а зачем toolchain на машине пользователя? Сами программы - обычные ELF-ы, линкуемые с системными библиотеками.

Сами программы - обычные ELF-ы, линкуемые с системными библиотеками.

Не совсем же: afaik, обычно либы не собраны для динамической линковки (то есть еще не обкатано). Пустой бинарь будет ~1м. А если hint запихать, то все 30.

Или это академический интерес?

Пока - чисто академический интерес. Хочется что-то вроде Forth.

Тогда есть смысл попробовать сам Forth. Его же можно «самомодифицировать» и получится уже не-Forth, но похоже. И исходный материал имеется - в смысле: реализации и под Линукс, и под венду.

Ёрничание это, уважаемый, самое натуральное ёрничание.

Несмотря на то, что лисп - это один из моих инструментов.

Религиозные чувства задеты были в этом треде.

Да-а? А я что-то и не заметил.

Линукс нопейсан на ObjC? Уважаемый анон шутить изволит, однако!

Не нужна. Доказано UNIX.

тролоолооо когда последний раз во внутренности юникса смотрел?

Пока - чисто академический интерес. Хочется что-то вроде Forth.

если будущая ОС будет работать на шаговом двигателе, то ни асм ни С ни С++ негодятся

исходим из того где же будет работать будущая ОС

Старый свое дело знает, не сомневайся.

нужна ещё поддержка ассемблерных вставок для доступа к портам, регистрам типа CR*, IDTR, GDTR и т.п.

Не нужна. Доказано UNIX.

тролоолооо

Утипути.

когда последний раз во внутренности юникса смотрел?

Довольно давно, а ты?

исходим из того где же будет работать будущая ОС

Не знаю. Хочется построить что-нибудь вроде ОС из маленьких кирпичиков.
Но это - непривычно. За последнее время я очень привык к стандартной среде разработки (Windows, Linux),
где всё есть, и ничего, кроме поставленной задачи, решать особо и не требуется.

Вот, например, я сейчас не готов сказать - с чего надо начинать написание ОС.

До сих пор где-то валяются распечатки ассемблерных кусков из ядра и загрузчика. Ассемблер «адапитрованный» PDP-шный.

В Линуксе специально не смотрел, поэтому утверждать не берусь.

обычно либы не собраны для динамической линковки

Можно же собрать, если для base system.

то есть еще не обкатано

Но работает (1 (haskell.org), 2 (haskell.org), 3 (well-typed.com), 4 (wordpress.com)).

Пустой бинарь будет ~1м.

У JHC - 16K. У GHC с -dynamic -shared -fPIC - 8K. Помню, мой не пустой бинарь весил 5MB (я статически собирал с помощью GHC, JHC не пробовал), аналогичная программа на си бы весила где-то 500KB.

До сих пор где-то валяются распечатки ассемблерных кусков из ядра и загрузчика. Ассемблер «адапитрованный» PDP-шный.

Код на ассемблере, естественно, был. Встраивания в Си ассемблерных команд - не было. Ну или ссылку давайте, на Unix version [567].

да с чего угодно: с разработки API для прикладных программ, с загрузчика, с планировщика, с менеджера памяти

каждый годный программист должен написать свою ОС ) По крайней мере, попытаться

вообще в интернете дофига туториалов по разработке своей ОС и исходников разной степени незавершенности

http://www.osdever.net

вот например

А вот это так сразу, с ходу не скажу - смотреть подробнее надо. Сколько лет-то прошло. Возможно, что именно встраивания в С и не было.

Но в общем ты прав: ковыряться в железках (в смысле: писать для них низкоуровневый софт) - это довольно-таки нудное и скучное занятие. Рутина.

Кому как, кого-то прет от этого )

languages @ wiki.osdev.org

Ну вот я сейчас листаю Лайонса - не вижу встроенного асма.

На осдев!^U %) Ну ты спросил...

На osdev.ru - глухо. Там админит Сергей Гриддасов (Grindars).
Самые активные были - Олег Федоров (legos) и Петр Зотов (whitequark),
но они ушли из osdev.

А с английским (разговорным) у меня - проблемы.

Я имхо забыл добавить. :)

Любой язык хорош

Лишь бы руки не из одного места были, и мозги не загажены идеологической чепухой.

Pascal, C# (microsoft.com), Oberon, Limbo...

Короче, на любом или их комбинации, что, имхо, даже более предпочтительно.

Red/System v0.2.3
Вышла Lua 5.2
//оберон

Да. Ты прав. Пока рылся в старье, нашёл не только ассемблерные распечатки, но и листинги шедулера, подсистемы управления памятью, обработки прерываний, несколько драйверов (диски, мультиплексор, терминал). Есть ассемблерные модули, но нет ассемблерных вставок. Твоя правда.

Где глянуть БНФ этого языка?

такое пойдет?

program ::= | word <whitespace> program
word ::= <printable> | <printable> word

Канешна Васик

http://wiki.osdev.org/FreeBasic_Bare_Bones

Если ты пишешь свободную ОС, и под неё кто-то будет писать программы, в её состав разумно включить библиотеки и компилятор. Так, например, в линуксе есть GCC, в *BSD — PCC или clang. Да и мало подходит хаскель для подобных задач.

bash неплох:

gzip -cd linux-2.6.XX.tar.gz | tar xvf -
cd linux
make mrproper
make defconfig
make V=1 all

Годятся только си без плюсов и ассемблер, все остальное - от непонимания специфики. Жабопитонолиспы и прочая «остановите мир я подмету» не годится, т.к. ни один сборщик мусора не работает хорошо при недостатке памяти, и уж тем более не сможет нормально работать в реальном режиме, где никаких виртуальных памятей нету - привет, фрагментация.

Раз уж ты собрался писать свою ОС, напиши сначала свой язык.

На osdev.ru - глухо

Кто сказал что в домене ru? :)

Хаскель уже советовали? http://programatica.cs.pdx.edu/House/

Почему сразу реальный режим?

Хочется построить что-нибудь вроде ОС из маленьких кирпичиков.

(Bluebottle) A2 OS на Active Oberon.

Основные плюсы д - в его мусороубощике и синтаксическом сахарке, а какой может быть low-level с gc? Чтоб делать низкий уровень, надо будет писать, не полагаясь на него, поэтому преимущество теряется. Лучше си языка не было и нет пока, по-моему.

Прикладное ПО - это, к примеру, автокад или планировщик ввода-вывода?

Почему?

ForthCode = Word (Word)*;
Word = (^[:whitespace:])+;

http://www.jamesmolloy.co.uk/tutorial_html/

Ada.

написание операционной системы

ненужно </thread>

емнип, ранние версии шиндошса писались на паскале. вот с тех пор и повелось.

без с++

Smalltalk

http://squeaknos.sourceforge.net/

Потому что речь идет об ОС, что в первую очередь подразумевает кернел.
А написание любого прикладного системного ПО мало чем отличается просто от прикладного ПО, поэтому там годится что угодно.
А так конечно, некоторые и смену обоев на нескучные называют «принципиально новой ОС» :)

Ядро точно так же работает с виртуальной памятью, как и юзерспейс

в реальном режиме

эт где? На 8086 что ли? :)