mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 10:53:16 +01:00
Moved kernel autogeneration function to a meaningful directory
Als updated parse options to save oldconfig file when -r option is used.
This commit is contained in:
Bahadir Balban
232
scripts/kernel/generate_kernel_cinfo.py
Executable file
232
scripts/kernel/generate_kernel_cinfo.py
Executable file
@@ -0,0 +1,232 @@
|
||||
#! /usr/bin/env python2.6
|
||||
# -*- mode: python; coding: utf-8; -*-
|
||||
#
|
||||
# Codezero -- a microkernel for embedded systems.
|
||||
#
|
||||
# Copyright © 2009 B Labs Ltd
|
||||
#
|
||||
import os, sys, shelve, glob
|
||||
from os.path import join
|
||||
|
||||
PROJRELROOT = '../..'
|
||||
|
||||
sys.path.append(os.path.abspath(os.path.join(os.path.dirname(__file__), PROJRELROOT)))
|
||||
sys.path.append(os.path.abspath("../"))
|
||||
|
||||
from config.projpaths import *
|
||||
from config.configuration import *
|
||||
|
||||
|
||||
cinfo_file_start = \
|
||||
'''/*
|
||||
* Autogenerated container descriptions
|
||||
* defined for the current build.
|
||||
*
|
||||
* Copyright (C) 2009 Bahadir Balban
|
||||
*/
|
||||
#include <l4/generic/container.h>
|
||||
#include <l4/generic/resource.h>
|
||||
#include <l4/generic/capability.h>
|
||||
#include <l4/generic/cap-types.h>
|
||||
|
||||
%s
|
||||
|
||||
/*
|
||||
* FIXME:
|
||||
* Add irqs, exceptions
|
||||
*/
|
||||
|
||||
struct container_info cinfo[] = {
|
||||
'''
|
||||
cinfo_file_end = \
|
||||
'''
|
||||
};
|
||||
'''
|
||||
|
||||
cinfo_start = \
|
||||
'''
|
||||
\t[%d] = {
|
||||
\t.name = "%s",
|
||||
\t.npagers = 1,
|
||||
\t.pager = {
|
||||
'''
|
||||
|
||||
cinfo_end = \
|
||||
'''
|
||||
\t\t},
|
||||
\t},
|
||||
'''
|
||||
|
||||
pager_start = \
|
||||
'''
|
||||
\t\t[0] = {
|
||||
\t\t\t.pager_lma = __pfn(CONFIG_CONT%d_PAGER_LMA),
|
||||
\t\t\t.pager_vma = __pfn(CONFIG_CONT%d_PAGER_VMA),
|
||||
\t\t\t.pager_size = __pfn(CONFIG_CONT%d_PAGER_SIZE),
|
||||
\t\t\t.ncaps = %d,
|
||||
\t\t\t.caps = {
|
||||
'''
|
||||
pager_end = \
|
||||
'''
|
||||
\t\t\t},
|
||||
\t\t},
|
||||
'''
|
||||
|
||||
cap_virtmem = \
|
||||
'''
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_MAP | CAP_RTYPE_VIRTMEM,
|
||||
\t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE
|
||||
\t\t\t\t | CAP_MAP_EXEC | CAP_MAP_UNMAP,
|
||||
\t\t\t\t.start = __pfn(CONFIG_CONT%d_VIRT%d_START),
|
||||
\t\t\t\t.end = __pfn(CONFIG_CONT%d_VIRT%d_END),
|
||||
\t\t\t\t.size = __pfn(CONFIG_CONT%d_VIRT%d_END - CONFIG_CONT%d_VIRT%d_START),
|
||||
\t\t\t},
|
||||
'''
|
||||
|
||||
cap_physmem = \
|
||||
'''
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_MAP | CAP_RTYPE_PHYSMEM,
|
||||
\t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE
|
||||
\t\t\t\t | CAP_MAP_EXEC | CAP_MAP_UNMAP,
|
||||
\t\t\t\t.start = __pfn(CONFIG_CONT%d_PHYS%d_START),
|
||||
\t\t\t\t.end = __pfn(CONFIG_CONT%d_PHYS%d_END),
|
||||
\t\t\t\t.size = __pfn(CONFIG_CONT%d_PHYS%d_END - CONFIG_CONT%d_PHYS%d_START),
|
||||
\t\t\t},
|
||||
'''
|
||||
|
||||
cap_all_others = \
|
||||
'''
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_IPC | CAP_RTYPE_CONTAINER,
|
||||
\t\t\t\t.access = CAP_IPC_SEND | CAP_IPC_RECV
|
||||
\t\t\t\t | CAP_IPC_FULL | CAP_IPC_SHORT
|
||||
\t\t\t\t | CAP_IPC_EXTENDED,
|
||||
\t\t\t\t.start = 0, .end = 0, .size = 0,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_TCTRL | CAP_RTYPE_CONTAINER,
|
||||
\t\t\t\t.access = CAP_TCTRL_CREATE | CAP_TCTRL_DESTROY
|
||||
\t\t\t\t | CAP_TCTRL_SUSPEND | CAP_TCTRL_RESUME
|
||||
\t\t\t\t | CAP_TCTRL_RECYCLE,
|
||||
\t\t\t\t.start = 0, .end = 0, .size = 0,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_EXREGS | CAP_RTYPE_CONTAINER,
|
||||
\t\t\t\t.access = CAP_EXREGS_RW_PAGER
|
||||
\t\t\t\t | CAP_EXREGS_RW_UTCB | CAP_EXREGS_RW_SP
|
||||
\t\t\t\t | CAP_EXREGS_RW_PC | CAP_EXREGS_RW_REGS,
|
||||
\t\t\t\t.start = 0, .end = 0, .size = 0,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY
|
||||
\t\t\t\t | CAP_RTYPE_THREADPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t.size = 64,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY | CAP_RTYPE_SPACEPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t.size = 64,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY | CAP_RTYPE_CPUPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t.size = 50, /* Percentage */
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY | CAP_RTYPE_MUTEXPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t.size = 100,
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t/* For pmd accounting */
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY | CAP_RTYPE_MAPPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t/* Function of mem regions, nthreads etc. */
|
||||
\t\t\t\t.size = (64 * 30 + 100),
|
||||
\t\t\t},
|
||||
\t\t\t[%d] = {
|
||||
\t\t\t\t/* For cap spliting, creating, etc. */
|
||||
\t\t\t\t.type = CAP_TYPE_QUANTITY | CAP_RTYPE_CAPPOOL,
|
||||
\t\t\t\t.access = 0, .start = 0, .end = 0,
|
||||
\t\t\t\t/* This may be existing caps X 2 etc. */
|
||||
\t\t\t\t.size = 30,
|
||||
\t\t\t},
|
||||
'''
|
||||
|
||||
pager_ifdefs_todotext = \
|
||||
'''
|
||||
/*
|
||||
* TODO:
|
||||
* This had to be defined this way because in CML2 there
|
||||
* is no straightforward way to derive symbols from expressions, even
|
||||
* it is stated in the manual that it can be done.
|
||||
* As a workaround, a ternary expression of (? : ) was tried but this
|
||||
* complains that type deduction could not be done.
|
||||
*/'''
|
||||
|
||||
pager_ifdefs = \
|
||||
'''
|
||||
#if defined(CONFIG_CONT%d_TYPE_LINUX)
|
||||
#define CONFIG_CONT%d_PAGER_LMA (CONFIG_CONT%d_LINUX_PHYS_OFFSET + CONFIG_CONT%d_LINUX_TEXT_OFFSET)
|
||||
#define CONFIG_CONT%d_PAGER_VMA (CONFIG_CONT%d_LINUX_PAGE_OFFSET + CONFIG_CONT%d_LINUX_TEXT_OFFSET)
|
||||
#define CONFIG_CONT%d_PAGER_SIZE CONFIG_CONT%d_LINUX_MAPSIZE
|
||||
#endif
|
||||
'''
|
||||
def generate_pager_memory_ifdefs(containers):
|
||||
pager_ifdef_string = ""
|
||||
linux = 0
|
||||
for c in containers:
|
||||
if c.type == "linux":
|
||||
if linux == 0:
|
||||
pager_ifdef_string += pager_ifdefs_todotext
|
||||
linux = 1
|
||||
pager_ifdef_string += pager_ifdefs % (c.id, c.id, \
|
||||
c.id, c.id, \
|
||||
c.id, c.id, \
|
||||
c.id, c.id, c.id)
|
||||
return pager_ifdef_string
|
||||
|
||||
def generate_kernel_cinfo(containers, cinfo_path):
|
||||
pager_ifdefs = generate_pager_memory_ifdefs(containers)
|
||||
with open(cinfo_path, 'w+') as cinfo_file:
|
||||
fbody = cinfo_file_start % pager_ifdefs
|
||||
total_other_caps = 9
|
||||
for c in containers:
|
||||
# Currently only these are considered as capabilities
|
||||
total_caps = c.virt_regions + c.phys_regions + total_other_caps
|
||||
fbody += cinfo_start % (c.id, c.name)
|
||||
fbody += pager_start % (c.id, c.id, c.id, total_caps)
|
||||
cap_index = 0
|
||||
for mem_index in range(c.virt_regions):
|
||||
fbody += cap_virtmem % \
|
||||
(cap_index, c.id, \
|
||||
mem_index, c.id, \
|
||||
mem_index, c.id, \
|
||||
mem_index, c.id, mem_index)
|
||||
cap_index += 1
|
||||
for mem_index in range(c.phys_regions):
|
||||
fbody += cap_physmem % \
|
||||
(cap_index, c.id, \
|
||||
mem_index, c.id, \
|
||||
mem_index, c.id, \
|
||||
mem_index, c.id, mem_index)
|
||||
cap_index += 1
|
||||
fbody += cap_all_others % (tuple(range(cap_index, total_caps)))
|
||||
fbody += pager_end
|
||||
fbody += cinfo_end
|
||||
fbody += cinfo_file_end
|
||||
cinfo_file.write(fbody)
|
||||
|
||||
if __name__ == "__main__":
|
||||
config = configuration_retrieve()
|
||||
#config.config_print()
|
||||
containers = config.containers
|
||||
containers.sort()
|
||||
if len(sys.argv) > 1:
|
||||
generate_kernel_cinfo(containers, join(PROJROOT, sys.argv[1]))
|
||||
else:
|
||||
generate_kernel_cinfo(containers, join(PROJROOT, 'src/generic/cinfo.c'))
|
||||
|
||||
Reference in New Issue
Block a user