问题标签 [microkernel]

L4Re是一个用 C++ 编写的基于微内核的系统。它带有几个主要用 C++、C 编写的包，而且似乎对 Fortran、OCaml 和 Perl 有原生支持。

还有一个用纯 C 语言编写的hello world 包，可以正常编译和链接，但使用 l4re 工具链。

是否可以针对该 L4Re 工具链构建一个 hello world Rust 程序以便在 Rust 中编写 L4Re 包？

我知道rust-cross，但可能没有适合我的情况的三元组，我需要手动指定我的目标。在我的情况下应该使用哪些值的任何想法？

我有一个带有自定义目录结构的微内核 Symfony 项目。

我用这个：https ://github.com/ikoene/symfony-micro

如何覆盖例如 Twig 资源（异常视图）？

Cookbook 说我应该在我的 Resources 目录中创建一个名为 TwigBundle 的目录。

我做了\AppBundle\Resources\TwigBundle\views\Exception目录。覆盖视图似乎不起作用。

在微内核系统结构中，硬件不与微内核交互。所以我想知道为什么Windows NT的微内核不直接与硬件层交互？

这是我在说的 Mico内核系统结构图

我有 Symfony 微内核，我正在尝试添加 FOSUserBundle。在通过本指南安装它https://symfony.com/doc/master/bundles/FOSUserBundle/index.html我得到了“validor.builder”错误

调用堆栈

/app_dev.php:0 Symfony\Component\HttpKernel\Kernel->handle( ) .../app_dev.php:9 Symfony\Component\HttpKernel\Kernel->boot() .../Kernel.php:166 Symfony\ Component\HttpKernel\Kernel->initializeContainer( ) .../Kernel.php:117 Symfony\Component\DependencyInjection\ContainerBuilder->compile() .../Kernel.php:477 Symfony\Component\DependencyInjection\Compiler\Compiler- >compile() .../ContainerBuilder.php:528 FOS\UserBundle\DependencyInjection\Compiler\ValidationPass->process() .../Compiler.php:104 Symfony\Component\DependencyInjection\ContainerBuilder->getDefinition() .. ./ValidationPass.php:41

它接缝symfony 找不到服务validator.builder，它与symfony FrameworkBundle 一起使用。有没有人建议问题出在哪里，缺少什么？谢谢！

作曲家.json：

app_dev.php

应用内核.php

在以下链接中； https://www.openhub.net/p/f9-kernel F9 微内核在 Cortex M 上运行，但 Cortex M 系列没有 MMU。我对 MMU 和虚拟内存的了解有限，因此有以下问题。

1. 对于没有 MMU 的每个进程，如何防止整个物理内存的可见性？
2. 是否可以在没有 MMU 的情况下通过一些静态内存设置来实现隔离。（然后有足够的片上 RAM 来运行我的应用程序和内核，对于我的有限进程来说只是不同的硬编码内存区域）。但是我仍然不会阻止访问吗？

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 Tutorials for kernel development for ARM cpus.

我正在尝试在用户空间中为 sel4 编写示例 USB 驱动程序。任何人都可以对 sel4 用户空间驱动程序有任何想法，请与我分享...如果有人有 sel4 用户空间驱动程序的示例代码（示例驱动程序），请与我分享...

我是 C 程序员，是 Linux 内核编程的新手。我可以发现有 3 种类型的内核单片，微型和模块化内核。在谷歌搜索时，我可以找到一些网站说 linux 具有单片内核（在堆栈溢出中），而另一些则说微内核，其余的说混合内核。所以我在阅读模块化概念时完全感到困惑，它说可以在不重新编译内核的情况下添加驱动程序的新模块，这与我认为 Linux 使用单片内核的假设背道而驰。单片内核在单个地址空间中运行，并且作为单个进程 ，如果是这样的话，这也有点令人困惑

我有一个带有 MicroKernel 的应用程序，并且想使用带有自定义配置的 Symfony 的 TreeBuilder，因为该应用程序将非常通用，我希望尽可能多地在外部进行配置。我的问题是，我无法namespace为 symfony 注册我的自定义：

我有这Configuration堂课：

我的AppExtension：

在我的AppKernel课堂上，我正在像这样初始化扩展，因此我还从我原来的调用中获得了输出dump($mergedConfig)AppExtension research.yml

然而，当我config.yml看起来像这样时，我得到了上面提到的错误：

那么我需要做什么来实际注册我的命名空间研究，以便我可以正确覆盖它？还是需要外部供应商捆绑包？

我是这个话题的新手。我一直在网上冲浪寻找有关该主题的信息，现在，我也更加困惑。如果我没记错的话，他们会管理硬件并在用户空间和设备的真实物理部分之间建立连接（如果不是这样，请纠正我）。但两者之间的真正区别是什么？我如何对它们进行分类？我正在寻找的是一个明确的答案，它可以驱使我正确参考，以更好地理解和深入研究该领域。