Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
en:docs:index [2022/04/05 03:17] – prokushev | en:docs:index [2023/03/25 15:02] – prokushev | ||
---|---|---|---|
Line 6: | Line 6: | ||
- | [[en: | + | * [[en: |
- | + | * [[en:docs:bios:api|BIOS API]] | |
- | + | * [[en:docs:boot:index|Boot process guides | |
- | ==== Microkernel ==== | + | * [[en: |
- | + | * [[en:docs:np|Neutral personality]] | |
- | Microkernel, | + | |
- | + | ||
- | === Older L4 X.2 docs === | + | |
- | + | ||
- | * {{downloads: | + | |
- | * {{downloads: | + | |
- | * [[en:docs:kickstart|L4Ka: | + | |
- | * [[en:docs:kernel:build|L4Ka:: | + | |
- | * [[en: | + | |
- | + | ||
- | === Newer Fiasco.OC docs === | + | |
- | + | ||
- | **TODO** | + | |
- | + | ||
- | ==== Personality neutral servers ==== | + | |
- | + | ||
- | The thin API layer between a microkernel and OS Personalities (consisting of | + | |
- | libraries and servers) | + | |
- | + | ||
- | **UPDATE THIS!** | + | |
- | + | ||
- | * Root server | + | |
- | * Port Input Output server | + | |
- | * [[en: | + | |
- | * [[en: | + | |
- | * [[en:docs:virtual_file_system_servers|Virtual File System servers]] | + | |
* [[en: | * [[en: | ||
- | * [[en: | + | |
- | * [[en: | + | |
+ | * [[en: |