Skip to content
Nina Petipa and K.I edited this page Oct 26, 2015 · 11 revisions

Welcome to the TRON (T-Kernel for x86) wiki!

<日本語が読める方は下記サイトの方を参照してください/If you can understand Japanese, see the following url instead of the wiki.>

0から作るソフトウェア開発 ダウンロード TRON (T-Kernel for x86)

First of all

T-Kernel is originally implemented and released by TRON Forum. It is a real-time operating system based on T-Kernel specifications which are specified by TRON Project. For more information about TRON and T-Kernel, visit and see TRON Forum web site.

Running T-Kernel for x86

  1. Download an iso image file from the following repogitory path. TRON/srcpkg/tkernel_source/kernel/sysmain/build_t2ex/std_x86/grub_rescue.iso

  2. Set up your VirtualBox to boot from grub_rescue.iso cd-rom image.

To build the kernel from sources

Configure environment variables

Before build the kernel, you have to set up the following environment variables.

  • BD

    Set directory path name in which T-Kernel source code are stored.

    Ex. if you store the kernel sources in /home/user/srcpkg/tkernel_source directory, then set "/home/user/srcpkg/tkernel_source" to BD variable.

  • GNU_BD

    Set bin directory path name in which cpp and objcopy are installed.

    Ex. if you install cpp and objcopy in /usr/bin directory, then set "/usr" to GNU_BD variable.

  • GNUX86

    Set bin directory path name in which gcc are installed.

    Ex. if you install gcc in /usr/bin directory, then set "/usr" to GNUX86 variable

For example, you can append the above configurations to your .bash_profile at last line as follows.

~/.bash_profile

export BD=/cygdrive/c/Users/Nina/Desktop/Documents/tron/T-Kernel2.0/srcpkg/tkernel_source

export GNU_BD=/usr

export GNUX86=/usr

edit makerules.sysdepend

Currently, the kernel sources are expected to be built on Cygwin with linux-cross-compiler. So, if you want to build the kernel on your linux, then you have to edit makerules.sysdepend file.

makerules.sysdepend file is found at the following path.

srcpkg/tkernel_source/etc/sysdepend/std_x86/makerules.sysdepend

You may edit the following items.

  • CC

    Edit CC := $(GNUX86)/bin/i686-pc-linux-gnu-gcc to CC := $(GNUX86)/bin/gcc

  • CXX

Edit CXX := $(GNUX86)/bin/i686-pc-linux-gnu-gcc to CXX := $(GNUX86)/bin/gcc

  • AS

Edit AS = $(GNUX86)/bin/i686-pc-linux-gnu-as to AS = $(GNUX86)/bin/as

  • LD

Edit LD = $(GNUX86)/bin/i686-pc-linux-gnu-ld to LD = $(GNUX86)/bin/ld

  • AR

Edit AR = $(GNUX86)/bin/i686-pc-linux-gnu-ar to AR = $(GNUX86)/bin/ar

  • NM

Edit NM = $(GNUX86)/bin/i686-pc-linux-gnu-nm to NM = $(GNUX86)/bin/nm

make the kernel

To make the kernel, you can run make command in kernel/sysmain/build_t2ex/std_x86 directory.

For example,

$ cd srcpkg/tkernel_source/kernel/sysmain/build_t2ex/std_x86

$ make

make the bootable ISO image (grub_rescue.iso)

After the kernel is successfully compiled, make the bootable ISO image.

For example,

$ make cd

Finally you can see the grub_rescue.iso in current directory and boot it on VirtualBox!

Screenshot

Just after starting

After the kernel is starting up, you can see as the following image.

Just after starting

List up demo commands

To list up demo commands, input ? and then press a enter key.

list up demo commands

Tasks runnnig demo

To use ref demo command, you can see task states.

ref demo command