Microkernel is a highly limited kernel that usually only supports address space management, thread management and inter-process communication when other parts of the OS run in userspace.
Questions tagged [microkernel]
51 questions
0
votes
1 answer
how to implement semaphore without DI/EI, TS and CS instructions
I am reading the operating systems book by Milan Milenkovic (http://books.google.co.in/books?id=wbvHuTfiQkoC&printsec=frontcover#v=onepage&q&f=false). From this i understood how semaphore can be implemented using the following assembly instructions…

mezda
- 3,537
- 6
- 30
- 37
0
votes
1 answer
Akka Microkernel on Heroku
I have an Akka 2.1.0 running on a Microkernel. On my local machine I run sbt dist to build the exec and then cd target/dist and bin/akka sample.kernel.hello.HelloKernel.
Heroku uses an automatic sbt clean compile stage command to build a…

Marius Stroe
- 297
- 1
- 3
- 11
0
votes
1 answer
Instantiation in AKKA Microkernel
Having followed the documentation example (2.1.4), I was having trouble with a Microkernel loaded actor processing messages, where the Bootable extension class is defined as follows:
class HelloKernel extends Bootable {
val system =…

Antonis Zafiropoulos
- 127
- 1
- 8
0
votes
1 answer
Compiler error when specifying main class in Akka microkernel?
Here's my project definition in my Build.scala. When I go to run sbt run or sbt dist I get the same compiler error of not found: value distMainClass. It's quite annoying since I checked the akka-microkernel-plugin project to find distMainClass right…

crockpotveggies
- 12,682
- 12
- 70
- 140
0
votes
1 answer
How to compile Mach 3?
I am interested in the mach operating system these days. However, I found it seems pretty difficult to build it on a modern Linux system, like Debian Wheezy.
So I wanna know if there is any way to build this and boot it?
Any ideas and advises are…

Lingfeng Xiong
- 1,131
- 2
- 9
- 25
-3
votes
1 answer
Why micro kernel of Windows NT doesn't directly interact with the hardware
In micro kernel system structure,hardware is not interact with the micro kernel.
So I want to know why micro-kernel of Windows NT doesn't directly interact with the hardware layer?
here is diagram what I am talking about
Mico kernel System…

DevAra
- 531
- 3
- 10
- 35