Stack Overflow
Stack Overflow

Questions tagged [microkernel]

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.

51 questions
11
votes
1 answer

What is the difference b/w Hurd and Minix?

Knowing both are micro-kernels, what is the difference b/w Mach (on which Hurd is based on) and Minix. Are there any architectural differences? A little light over "what is L4" would be very helpful. I cannot find any documents covering this.
vanangamudi
  • 673
  • 1
  • 8
  • 21
8
votes
3 answers

Castle Windsor strange behaviour wth property injection and factory method

I am using Castle Windsor 2.5.1 in an ASP.NET MVC project and using property injection to create an object which I expect to always be available on a base controller class. I am using a factory to create this object, however if there is an error in…
amarsuperstar
  • 1,783
  • 1
  • 17
  • 22
8
votes
1 answer

Why did Windows NT move away from the microkernel?

I'm told, that Windows NT was first designed to implement the microkernel architecture, but moved away to hybrid kernel. What caused the change? I'm having trouble trying to find any info about this.
Arek Krawczyk
  • 431
  • 5
  • 11
8
votes
1 answer

how do programs communicate - micro kernel monolithic kernel exo kernel

how do programs communicate with the micro kernel/monolithic kernel/exo kernel? I have read many books that show as in the picture, that monolithic kernels communicates with the program through the system call table/filesystem layer. But how do…
zeitue
  • 1,674
  • 2
  • 20
  • 45
7
votes
3 answers

modular kernel vs micro kernel / monolitic kernel

I am C programmer and new to the Linux kernel programming. I could find there are 3 type of kernel monolithic,micro and modular kernel.while googling i could find some website say linux is having monolithic kernel (in Stack overflow) and some other…
shanker
  • 71
  • 1
  • 4
7
votes
1 answer

Differences between Hosted Kernels and Virtual Machines

I have been reading about AROS, especially the hosted version. AROS says the following. kernel.resource contains AROS microkernel. It's the lowest level component, which is responsible for handling CPU and motherboard. For hosted ports…
zeitue
  • 1,674
  • 2
  • 20
  • 45
5
votes
1 answer

SEL4 User-space drivers Example

I am trying to write sample usb driver for sel4 in userspace. can anybody have an idea about sel4 user-space driver please share with me... If anyone have example code for sel4 user-space driver(sample drivers) please share with me...
Ashokkumar
  • 115
  • 1
  • 3
  • 8
5
votes
2 answers

Get command line arguments when running an Akka Microkernel?

I have the Akka microkernel below: class ServiceKernel extends Bootable { val system = ActorSystem("service-kernel") def startup = { system.actorOf(Props(new Boot(false))) ! Start } def shutdown = { system.shutdown() …
crockpotveggies
  • 12,682
  • 12
  • 70
  • 140
4
votes
1 answer

What is a conceptual difference between seL4 and Fuchsia's kernel?

Originally I thought Fuchsia was the first kernel to extensively use capability-based security, but it looks like in seL4 they are also the main security primitive.
LOST
  • 2,956
  • 3
  • 25
  • 40
3
votes
1 answer

Exception "an item with the same key has already been added" for Remoted Generic Component

For various reasons I am trying to upgrade a project from an old version of Castle to v 2.5.3 (I cannot move to v3 due to breaking changes) and am encountering an issue with a generic component that is remoted: …
oatsoda
  • 2,088
  • 2
  • 26
  • 49
3
votes
0 answers

How to compile a Rust binary for L4Re?

L4Re is a microkernel based system written in C++. It comes with a couple of packages mainly written in C++, C, and it seems like there is native support for Fortran, OCaml and Perl. There is also an hello world package written in plain C, compiled…
michas
  • 25,361
  • 15
  • 76
  • 121
3
votes
1 answer

Can't Instantiate Windsor Custom Component Activator

I'm getting an exception calling Resolve: KernelException: Could not instantiate custom activator Inner Exception: {"Constructor on type 'MyProj.MyAdapter`1[[MyProj.MyBusinessObject, MyAsm, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null]]'…
Jeff
  • 35,755
  • 15
  • 108
  • 220
3
votes
1 answer

is there a simple way to port linux drivers to L4?

I want to build a system over seL4 and I do not want to write the drivers from scratch. I know that L4linux managaged to raise an entire linux kernel, drivers included, over fiasco.OC. Ideally I want a driver wrapper that would allow me to run linux…
user3848844
  • 509
  • 6
  • 20
2
votes
3 answers

Is there any application of L4 (microkernel)?

I Googled a lot about L4 microkernel and found that very less resources are there on L4. What are some good links I can refer ? Is there any application of L4 (i.e. where it is used) ?
Dinushan
  • 2,067
  • 6
  • 30
  • 47
2
votes
0 answers

Copy file using just Mach and Hurd functions

I am working on Debian GNU/Hurd with Mach. I have been asked to write a program that given two arguments (origen file and destination file), copies one file into the other. I'm asked to use just Mach and Hurd calls, such as mach_port_deallocate,…
acampana
  • 461
  • 1
  • 3
  • 17
1
2 3 4