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
0
votes
1 answer

C++ microkernel cout problem

Ok, I'm working on my Operating Systems assignment. I need to write a microkernel which is able to do some basic stuff with threads, semaphores, events, etc. BCC 3.1 is imitating my system environment. Classical debugging is really not of use. I'm…
maricn
  • 593
  • 1
  • 6
  • 21
0
votes
0 answers

Correct procedure and memory addresses to setup a virtio-net ethernet device on a sel4 microkernel

In short: I am trying to run the sel4 microkernel inside a x86_64 virtual machine and can't get the ethernet interface working. What is the correct procedure to get internet connectivity (via a vitio-net ethernet device) on a sel4 microkernel? And…
M_E
  • 1
  • 1
  • 2
0
votes
1 answer

Why is the Windows NT kernel said to be a hybrid model?

According to Wikipedia, the Windows Kernel is a hybrid model, meaning it has both a monolithic and microkernel architecture. But both definitions are very opposite: monolithic is that there is a shared place for both system services and core…
er sd
  • 71
  • 1
  • 4
0
votes
1 answer

Difference between system call and kernel call in Minix/Microkernel

Conceptually, whats the difference in Minix between a System call and a Kernel call? I kind of understand this difference in an Operating System like Linux, but what about in a microkernel like Minix? Are both types of calls the same?
Bori G
  • 1
  • 3
0
votes
2 answers

Customize OpenWhisk Invoker to use microkernel

I am trying to customize OpenWhisk to call a microkernel from the Invoker, rather than Docker. Is there an effort underway currently to add this support, or a development guide covering the changes I would need to make? My current understanding of…
jcfarwe
  • 1
  • 1
0
votes
0 answers

how kernel manages virtual memory

I just wanted to know how kernel actually deny proccess from access another memory region for example if IP register is set to 0x41414141 isnt that direct cpu instruction how can the kernel deny the cpu from accessing that address in the physical…
mahmoud adel
  • 43
  • 1
  • 2
  • 9
0
votes
0 answers

How to assign work to each core on ARM Cortex A53?

How to run 4 different functions separately on each core of ARM Cortex A53 generally (for cortex A53 CPUs at least, if possible) while using Aarch64 instruction set in kernel mode? I got User Manual for my CPU. I am asking because of lack Internet…
ttdado
  • 164
  • 1
  • 1
  • 10
0
votes
2 answers

Is micro kernel possible without MMU?

In the following link; https://www.openhub.net/p/f9-kernel F9 Microkernel runs on Cortex M, but Cortex M series doesn't have MMU. My knowledge on MMU and Virtual Memory are limited hence the following quesitons. How the visibility of entire…
RRON
  • 1,037
  • 3
  • 12
  • 32
0
votes
2 answers

Symfony3 You have requested a non-existent service "validator.builder", while add FOSUserBundle

I have Symfony microkernel and I am trying to add FOSUserBundle. After going through this guide to install it https://symfony.com/doc/master/bundles/FOSUserBundle/index.html I got error with 'validor.builder' Fatal error: Uncaught…
PVN
  • 3
  • 1
  • 3
0
votes
2 answers

How to override bundle resources in micro-kernel Symfony?

I've got micro-kernel Symfony project with custom catalog structure. I used this: https://github.com/ikoene/symfony-micro How can I override e.g. Twig Resources (Exception views)? Cookbook says that I should create a directory called TwigBundle in…
M4ciek
  • 33
  • 9
0
votes
1 answer

What is difference between monolithic, microkernel and exokernel?

Could anyone please explain, what are the differences between monolithic, microkernel and exokernel ?
Yogesh Jilhawar
  • 5,605
  • 8
  • 44
  • 59
0
votes
1 answer

Micro-kernel architecture based operating system for desktop users?

Can we have Operating system with micro-kernel architecture targeted on desktop users? I have read here on this website that older micro-kernel can be 50% slower than Monolithic kernel, while later version like L4 were only 2% or 4% slower than the…
0
votes
0 answers

Microkernel or Dependency Injection Container in C++

Form C# and Java I know Microkernels also known as Dependency Injection Container. The main goal of them is to seperate the interface from the implementation. In C# it works like this register(Type task); .. Task xyTask =…
GiCo
  • 566
  • 4
  • 19
0
votes
1 answer

Which one affects IPC performance more? context switch or number of processes?

In my impression, when talking about improving IPC performance or lower the latency involved, context switch seems to be the most important factor. But I was always wondering why I've never heard that the number of runnable processes is also a…
Justin
  • 169
  • 5
0
votes
1 answer

Exception in thread "main" java.lang.InstantiationException in scala akka microkernel

I've followed through this docs http://doc.akka.io/docs/akka/snapshot/scala/microkernel.html#microkernel-scala to make standalaone akka app using microkernel. I have fulfilled its dependecies and sbt plugins. Here's my main class : package…
ans4175
  • 432
  • 1
  • 9
  • 23