lists.sel4.systems
Sign In Sign Up
  • Sign In
  • Sign Up
  • Manage this list

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview
List overview All Threads
Download
newer

Running Linux atop sel4

older
Port I/O - Permissions Question
Roadmap?
  • First Post
  • Replies
  • Stats
  • Threads by month
    • ----- 2022 -----
    • May
    • April
    • March
    • February
    • January
    • ----- 2021 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2020 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2019 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2018 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2017 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2016 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2015 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
    • May
    • April
    • March
    • February
    • January
    • ----- 2014 -----
    • December
    • November
    • October
    • September
    • August
    • July
    • June
Sebastian Lau
24 Aug 2015 24 Aug '15
5:06 a.m.
On the sel4.systems website, it says that the site is served by the Apache web server on Linux atop sel4. How does that work and could you operate the Linux middleware just on top of sel4, maybe something like mer?

Attachments:

  • attachment.html (text/html — 232 bytes)
0 0
Reply

Show replies by date

2461
days inactive
2461
days old

devel@sel4.systems

Manage subscription

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Sebastian Lau

Powered by HyperKitty version 1.3.4.