Minirighi is a multi-threading open-source operating system written for didactic purpose. It has been written from scratch and it is compatible with POSIX.
Be the first to post a text review of Minirighi. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Here is another new release for the Minirighi kernel. There're few important fixes, like the proper spurious IRQ handling, that resolves a bug running Minirighi under Bochs, and a bug in the vga initialization has been fixed. There is also a small work in the VFS implementation. Few steps for now, even not properly POSIX compliant, just to have something working, but everything seems to move in the right direction. This is the short-form changelog: * [fix] correctly handle spurious IRQs * [fix] add an opportune suffix for the assembly instructions to specify register size of atomic operations * [fix] move video (vga) initialization message after the main console has been initialized to obviate a chicken/egg problem * null character device implementation * implemented the lsdev() system call * added lsdev userspace application, that use the lsdev() syscall * implemented functions to get/lookup structures of registered character and block devices * implemented ext2_load_file() * implemented an ugly (but working) way to execute files from ext2 filesystem * use printk() to report exceptions, instead of using kprintf() * use printk() to report IDE debugging informations, instead of using kprintf() * use printk() during system initialization instead of using kprintf() * set the maximum verbosity level when kernel debugging to a serial port is enabled * re-designed the skel and prototypes of sys_open(), sys_close(), sys_read() and sys_write() - still not available for userspace Minirighi 0.12.4 source code is available here: https://sourceforge.net/project/showfiles.php?group_id=80923&package_id=83102&release_id=589581 And here is the floppy disk image (works with qemu or any other virtualization system and obviously on any x86 real hardware as well): https://sourceforge.net/project/showfiles.php?group_id=80923&package_id=83236&release_id=589705 Enjoy, -Andrea
2008-04-04 Andrea Righi * [fix] correctly handle spurious IRQs * [fix] add an opportune suffix for the assembly instructions to specify register size of atomic operations * [fix] move video (vga) initialization message after the main console has been initialized to obviate a chicken/egg problem * null character device implementation * implemented the lsdev() system call * added lsdev userspace application, that use the lsdev() syscall * implemented functions to get/lookup structures of registered character and block devices * implemented ext2_load_file( * implemented an ugly (but working) way to execute files from ext2 filesystem * use printk() to report exceptions, instead of using kprintf() * use printk() to report IDE debugging informations, instead of using kprintf() * use printk() during system initialization instead of using kprintf() * set the maximum verbosity level when kernel debugging to a serial port is enabled * re-designed the skel and prototypes of sys_open(), sys_close(), sys_read() and sys_write() - still not available for userspace
2008-04-04 Andrea Righi * [fix] correctly handle spurious IRQs * [fix] add an opportune suffix for the assembly instructions to specify register size of atomic operations * [fix] move video (vga) initialization message after the main console has been initialized to obviate a chicken/egg problem * null character device implementation * implemented the lsdev() system call * added lsdev userspace application, that use the lsdev() syscall * implemented functions to get/lookup structures of registered character and block devices * implemented ext2_load_file( * implemented an ugly (but working) way to execute files from ext2 filesystem * use printk() to report exceptions, instead of using kprintf() * use printk() to report IDE debugging informations, instead of using kprintf() * use printk() during system initialization instead of using kprintf() * set the maximum verbosity level when kernel debugging to a serial port is enabled * re-designed the skel and prototypes of sys_open(), sys_close(), sys_read() and sys_write() - still not available for userspace
2008-04-04 Andrea Righi * [fix] correctly handle spurious IRQs * [fix] add an opportune suffix for the assembly instructions to specify register size of atomic operations * [fix] move video (vga) initialization message after the main console has been initialized to obviate a chicken/egg problem * null character device implementation * implemented the lsdev() system call * added lsdev userspace application, that use the lsdev() syscall * implemented functions to get/lookup structures of registered character and block devices * implemented ext2_load_file( * implemented an ugly (but working) way to execute files from ext2 filesystem * use printk() to report exceptions, instead of using kprintf() * use printk() to report IDE debugging informations, instead of using kprintf() * use printk() during system initialization instead of using kprintf() * set the maximum verbosity level when kernel debugging to a serial port is enabled * re-designed the skel and prototypes of sys_open(), sys_close(), sys_read() and sys_write() - still not available for userspace
2008-04-04 Andrea Righi * [fix] correctly handle spurious IRQs * [fix] add an opportune suffix for the assembly instructions to specify register size of atomic operations * [fix] move video (vga) initialization message after the main console has been initialized to obviate a chicken/egg problem * null character device implementation * implemented the lsdev() system call * added lsdev userspace application, that use the lsdev() syscall * implemented functions to get/lookup structures of registered character and block devices * implemented ext2_load_file( * implemented an ugly (but working) way to execute files from ext2 filesystem * use printk() to report exceptions, instead of using kprintf() * use printk() to report IDE debugging informations, instead of using kprintf() * use printk() during system initialization instead of using kprintf() * set the maximum verbosity level when kernel debugging to a serial port is enabled * re-designed the skel and prototypes of sys_open(), sys_close(), sys_read() and sys_write() - still not available for userspace
Be the first person to add a text review.
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?
Thanks for your review!
Get credit for your review by logging in via OpenID. Click your account provider: