Bug 1225135

Summary: [doc] Issue in "Kernel type"
Product: [Non-product-specific documentation] Documentation Reporter: Ken Johnson <ken.johnson>
Component: Smart DocsAssignee: Jana Halackova <jsindelarova>
Status: RESOLVED FIXED QA Contact: Tanja Roth <taroth>
Severity: Normal    
Priority: P5 - None    
Version: unspecified   
Target Milestone: ---   
Hardware: Other   
OS: Other   
Whiteboard:
Found By: --- Services Priority:
Business Priority: Blocker: ---
Marketing QA Status: --- IT Deployment: ---

Description Ken Johnson 2024-05-23 12:48:04 UTC 
Kernel type:

https://susedoc.github.io/doc-modular/main/html/Micro-deployment-images/index.html#alp-images-kernel

It would probably be nice to mention that currently _only_ x86_64 offers the real-time kernel, it's not offered for the other supported architectures.