[Savannah-register-public] [task #6552] Submission of Real Time Executive & Time-Sharing Kernel

[Toufik SARNI]

URL:
  <http://savannah.gnu.org/task/?6552>

                 Summary: Submission of Real Time Executive & Time-Sharing
Kernel
                 Project: Savannah Administration
            Submitted by: bastkernel
            Submitted on: Saturday 02/24/2007 at 08:45
         Should Start On: Saturday 02/24/2007 at 00:00
   Should be Finished on: Tuesday 03/06/2007 at 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.


= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=9133> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=9133>


= Registration Details =

* Name: *Real Time Executive & Time-Sharing Kernel*
* System Name:  *bastkernel*
* Type: Official GNU software
* License: GNU General Public License V2 or later

----

==== Description: ====
http://www.bastkernel.fr.st/
source: http://www.bastkernel.fr.st/BastKernel_0.0.1.exe

We want in an educational goal, to improve 
BastKernel version 0.0.1 that can be compiled as a hard real-time executive /
time-sharing kernel, based on intel(c) i586. 
BastKernel is brievely the concatenation of three parts: 
  - Boot (Floppy is used)
  - 16-bit part (detect the CPU, Memory, disks, Load GDT, switch to protected
mode)
  - 32-bit part (load IDT, enable paging, memory manager, and process
initialisation for the time sharing mode).

***Actually for hard real time(one memory area both kernel & application)
 - The scheduler implements the Rate Monotonic for the periodic tasks.
 - The scrutation server is used to schedule in FIFO the sporadic tasks)
 - The Priority Ceiling Protocol (PCP) is implemented to prevent the priority
inversion, and deadlock situations.
 - API provided : (create tasks, semaphores, control the time)
-> TO DO: File system, hard disk & floppy drivers, mailbox, RPC,  TPC/IP,
RS232 and improve the kernel loader.

***Time-Sharing (kernel and precess are separated)
  - The scheduler works in Round Robin used TSS to switch
  - Table to menage the 4Go of memory paging.
  - Create process with stacks.
-> TO DO: Idem to real time part.

 


        


==== Other Software Required: ====
Borland Compilers, Microsoft MASM => Win32 environement.







    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?6552>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/