1#!/usr/bin/env python 2# 3# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 4# 5# SPDX-License-Identifier: BSD-2-Clause 6# 7 8from __future__ import absolute_import, division, print_function, \ 9 unicode_literals 10 11import unittest 12 13from capdl import register_object_sizes 14 15test_object_sizes = { 16 'seL4_TCBObject': 9, 17 'seL4_EndpointObject': 4, 18 'seL4_NotificationObject': 4, 19 'seL4_SmallPageObject': 12, 20 'seL4_LargePageObject': 16, 21 'seL4_ASID_Pool': 12, 22 'seL4_Slot': 4, 23 'seL4_PageTableObject': 10, 24 'seL4_PageDirectoryObject': 14, 25 'seL4_ARM_SectionObject': 20, 26 'seL4_ARM_SuperSectionObject': 24, 27 'seL4_IOPageTableObject': 12 28} 29 30 31class CapdlTestCase(unittest.TestCase): 32 33 def setUp(self): 34 register_object_sizes(test_object_sizes) 35