Skip to main content
Stack Overflow
  1. About
  3. For Teams
Filter by
Sorted by
Tagged with
1 vote
1 answer
182 views

I am using Isabelle to verify a C program. During the verification process, I used the c-parser install-C-file to load the code, but the following issue occurred: attempt to cause decay to pointer on ...
1 vote
0 answers
51 views

When I built c-parser, I didn't find the specific steps to build the environment. Do you have a friend to share I want to implement automatic conversion of c code
2 votes
1 answer
53 views

Now I am setting up sel4 verification environment, but I see the blogger said "link isabelle path to verification directory", I would like to ask what it means? Do you want to download ...
2 votes
1 answer
3k views

I'm building the riscv-gnu-toolchain here: https://github.com/riscv-collab/riscv-gnu-toolchain like this: git clone https://github.com/riscv/riscv-gnu-toolchain.git cd riscv-gnu-toolchain git ...
1 vote
1 answer
615 views

Why are entries in the Page Global Directory offset? What is the significance of the offset, if any? Page Global Directory Address Entry 1 Entry 2 0000000080036000: 0x0000000000000000 ...
0 votes
0 answers
321 views

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-...
M_E's user avatar
  • 1
4 votes
1 answer
1k views

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's user avatar
  • 3,372
5 votes
1 answer
560 views

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(...
0 votes
1 answer
608 views

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 ...
3 votes
1 answer
872 views

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 ...
2 votes
3 answers
3k views

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's user avatar
  • 2,087

AltStyle によって変換されたページ (->オリジナル) /