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