Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[build] Kernel Configuration Header #147

Closed
ppenna opened this issue May 16, 2019 · 0 comments
Closed

[build] Kernel Configuration Header #147

ppenna opened this issue May 16, 2019 · 0 comments
Assignees
@ppenna
Labels
enhancement Enhancement Request on an Existing Feature

Comments

@ppenna
Copy link
Contributor

ppenna commented May 16, 2019 •
edited
Loading

Description

We should introduce a configuration header for holding build-time parameters of the kernel.

Updates

  • Enhancement introduced in commit 5a4a692.
@ppenna ppenna added the enhancement Enhancement Request on an Existing Feature label May 16, 2019
@ppenna ppenna added this to the Microkernel 1.0 Release milestone May 16, 2019
@ppenna ppenna self-assigned this May 16, 2019
@ppenna ppenna closed this as completed May 23, 2019
@ppenna ppenna changed the title Kernel Configuration Header [build] Kernel Configuration Header May 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ppenna ppenna

Labels
enhancement Enhancement Request on an Existing Feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ppenna