Sign in to follow this  
Followers 0
SpartanX

Help to write Micro Kernel using C

7 posts in this topic

Hi,
Is this possible to write a Micro kernel using c, Yeah we can write it using assembly but just curious.
Also please refer me to some micro kernel programming tutorials and guides. Thank You :)

Share this post


Link to post
Share on other sites

Microkernel for what? x86 system or a specific Atmel or PIC chip or ARM chip or what?

Share this post


Link to post
Share on other sites

Sure it's possible. C is essentially just a portable assembler?

 

You may need a few lines of code to initialize your C code (aka the stuff that happens before main gets called), but that's it.

Share this post


Link to post
Share on other sites

Yup this is basically what C was invented for originally. It is a systems programming language after all :)

 

You will need a little (inline) asm for a couple of things but over 99% can be done in C. The Linux kernel is mostly C for example (although the Linux kernel is monolithic not micro, perhaps a better example is the GNU Hurd kernel as it is a micro kernel written in asm/C http://en.wikipedia.org/wiki/Hurd )

Share this post


Link to post
Share on other sites

Another existing OS kernel you could consider looking at is ReactOS. Unlike Hurd or Minix, it is not a true microkernel. ReactOS shares the same architecture as Windows NT, so it is a hybrid kernel. However, unlike virtually every other open-source operating system, ReactOS can be compiled on Windows - a huge advantage considering the primary focus of the Neowin community. In fact, the project has a full development/debug environment, ROSBE, which they built specifically for that purpose. Take a look at the ReactOS Development Guide and Development Wiki before checking out a copy of the source code to look at the kernel. Although their kernel still has some hacks in place, particularly in the memory manager, it is fairly stable and very well documented.

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!


Register a new account

Sign in

Already have an account? Sign in here.


Sign In Now
Sign in to follow this  
Followers 0

  • Recently Browsing   0 members

    No registered users viewing this page.