fcntl
operations are redirected usinginode_t.fop.fcntl
operator. However this operation must be on the made over thefstream_t
structure.- Create a test to check
fsnode_t
andinode_t
are properly scavenged. - Blocks inodes are never synchronized after a write operation. only the cached page are marked as dirty.
- Some fixes on design must be done for the
vfs_mkdev
andvfs_mknod
procedures. - Create a complete but generic test script to provide to cli_fs in order to test thoroughly a new file-system driver.
- Ensure tool-chain script is reliable
./disto.sh setup
must copy headers files before compiling libc.
- Raspberry PI handling: requires an arm tool-chain. UART driver is easy enough and can be use to replace serial of the
i386
arch for kernel logging. However video and USB drivers are mandatory to make some real progress. - x86_64, long mode: Write a port for long mode.
- User: Kora is not multi-user yet.
@later
- Memory swap: Or any handling of a lack of memory pages.
@later
- IO Block layer: We need to design the handling of write asynchronously.
@later
- Desktop: The project is to run
/bin/login
at startup. It's run as system user and wait for user selection and authentication. The role is to create new instances ofbin/desktop
using the logon user. Both program need to exchange the ownership of all devices that constitute a seat (/dev/fb0
,/dev/kdb
,/dev/mse
...)
FS CLI This is a tool made to be compiled with both kernel vfs module and fs drivers to be able to test both on an hosted environment using hard disc images.
NET CLI This tool is build on the same principle as
FS CLI
but is made to test the network stack. One major gain is that it can simulate a full network of host with virtual link and Ethernet cards. However interaction with this tool is complex and yet quite limited.
SND This tool is a proof-of-concept program used to transform and mix wave audio data for the future kernel sound system. It try to use host audio API, but I discover that playing audio facilities are really limited on current systems. My goal is to provide sound streaming through a pipe file.
- Overview
- Set a background color for
gfx_clr_blend
andgfx_bkgd_blend
. - Make usage of source clip on
gfx_blit
andgfx_blit_scale
. - Resolve issue with frame invalidation and region invalidation.
- Remove mandatory usage of periodical timer
- Add new keyboard layout using external data file.
- Handle separation between framebuffer and event inputs.
- Handle multi pipe event inputs (for
/dev/kdb
,/dev/mse
and service pipe...) - Handle packaging build (for Debian
.deb
or windows.zip
or others.tar
)
- Create a message queue service for client application.
- Fix issue with
zlib
and testfreetype
.
- Signal is supported
- FAT or EXT2 support write operations.
- TCP sockets client (
wget
) - Graphical file browser application
- Graphical text editor application
- Port of binutils, gcc, make, git, vim, python
- Full FAT12 / FAT16 / FAT32 / EXT2 drivers
- ATA drivers with DMA support
- VFS scavenging
- Task cleaning
- Fully working
ps
utilities