Bahadir Balban
6654e13fa3
Added api/irq.c
2009-11-30 10:12:01 +02:00
Bahadir Balban
1c2e33c929
Updated capability print function
2009-11-30 00:42:24 +02:00
Bahadir Balban
f4989ab2d2
Style fixes to uart service sources
2009-11-29 23:38:38 +02:00
Bahadir Balban
346d79c0cd
Changes to platform device handling, irqs, userspace device configuration
...
Revised irq handling and device address naming on internal devices.
2009-11-29 18:11:08 +02:00
Bahadir Balban
fa660514df
Inter-container suppress rules for devices are now autogenerated.
2009-11-29 14:20:44 +02:00
Bahadir Balban
2d4e64f795
Merge branch 'rebase' of git://www.b-labs.co.uk/~amit/codezero into amit-devel
2009-11-29 12:37:08 +02:00
Bahadir Balban
307b52f6d2
Added api/irq.h
2009-11-29 12:36:43 +02:00
Amit Mahajan
41c87d9c8c
Errors due to rebasing corrected. Still not done, ahve some problem in
...
IRQ patches added.
2009-11-29 12:16:51 +05:30
Amit Mahajan
846635f582
Edited linux scripts to generate elf from vmlinux, to be used by codezero
2009-11-29 11:50:03 +05:30
Amit Mahajan
16b984510f
PBA8 platform removed
2009-11-29 11:50:02 +05:30
Amit Mahajan
bc4a233adb
Removed AB926 platform
2009-11-29 11:50:02 +05:30
Amit Mahajan
efdd81330a
Tagsgen script rewritten in python
2009-11-29 11:50:02 +05:30
Amit Mahajan
0707376a54
Added start/end/size attributes for devices in caps.py instead of
...
resource.c
2009-11-29 11:50:02 +05:30
Amit Mahajan
41a64fcd23
Independent compilation of libl4 and libmem working fine.
2009-11-29 11:45:48 +05:30
Amit Mahajan
88da7c2f36
Timer devices removed, based on PAGE granularity mappings.
2009-11-29 11:45:48 +05:30
Amit Mahajan
1080c9e122
Issues due to capability uattr updation resolved
2009-11-29 11:45:48 +05:30
Amit Mahajan
b48f817bd8
Timer Code tested
2009-11-29 11:45:48 +05:30
Amit Mahajan
d18751fbe8
UART service tested.
2009-11-29 11:45:48 +05:30
Amit Mahajan
26268a30d2
Testing UART service
2009-11-29 11:45:47 +05:30
Amit Mahajan
9f57cb7c67
Timer capability added, Baremetal5 added as Timer Sevice, Code not
...
tested yet.
2009-11-29 11:45:47 +05:30
Amit Mahajan
b53cc73747
Testing Inter container IPC for UART service
2009-11-29 11:45:47 +05:30
Amit Mahajan
a10a77a0a0
Added UART service as baremetal4 container
2009-11-29 11:44:06 +05:30
Amit Mahajan
fccc2240a5
Modified uart capability for initial version of uattr, need to merge it
...
to bahadir's repo and hence new version of uattr.
2009-11-29 11:44:06 +05:30
Amit Mahajan
19a113237d
Default values added for 4 containers, with 4 Physical and 5
...
Virtual memory regions per container.
2009-11-29 11:44:06 +05:30
Amit Mahajan
1f939a1786
Added all three UARTs as capability
2009-11-29 11:44:06 +05:30
Bahadir Balban
452406ddeb
Added irqctrl as a possible capability type
2009-11-28 19:23:07 +02:00
Bahadir Balban
6e40a2b601
Preliminary irq registration call + irq capability checking
...
Need to add irqctrl capabilities and irq bits to device memory
caps.
Also need to initialize irq field of devmem caps.
2009-11-28 19:13:23 +02:00
Bahadir Balban
b5e6c66426
UTCB update
...
Added 8 notify slots of 1 byte each. These will be notification
slots for irqs and other threads.
Also now userspace refers to kernel's utcb definition, so they're
in sync.
2009-11-24 14:45:43 +02:00
Bahadir Balban
e0c40ece5d
Added a new irq_control system call
...
This is currently an empty call. It will be used for registering,
receiving and releasing irqs.
2009-11-23 16:46:51 +02:00
Bahadir Balban
b994083e27
Added a new uattr word to capabilities.
...
The new word is for irq numbers.
2009-11-23 14:37:37 +02:00
Bahadir Balban
1f32e0ce0e
Removed comments for fixed issues
2009-11-23 13:32:07 +02:00
Bahadir Balban
ae2ac9552b
Updated posix config files
2009-11-23 13:24:02 +02:00
Bahadir Balban
328040e98a
Renamed all thread symbols in l4lib with l4lib_ prefix. They were clasing with mm0
...
The threading work will be revised and prefixes changed to a more meaningful name
later on.
2009-11-23 13:18:58 +02:00
Bahadir Balban
e690949b3b
tcb_alloc_init of l4lib was clashing with mm0 definitions.
2009-11-23 12:59:33 +02:00
Bahadir Balban
e28e54fa7b
Removed issue comments that are now fixed.
2009-11-23 12:56:19 +02:00
Amit Mahajan
c17b39762f
Adding libmem to baremetal0 container
2009-11-23 15:15:09 +05:30
Amit Mahajan
81c4f69515
Shifting derived symbols from generate_kernel_cinfo.py to container_ruleset.template
2009-11-23 14:56:34 +05:30
Amit Mahajan
014e728935
Removed traces of custom container left in bahadir's branch.
2009-11-23 10:22:23 +05:30
Bahadir Balban
1e8c0f1d3a
Added ipc tags for uart service. Set size field for kernel-managed devices
2009-11-22 23:41:19 +02:00
Bahadir Balban
877b2cedc7
Integrated libl4thread with libl4. Added device number to device caps.
...
A 16-bit device number or id further distinguishes a device on the
system in addition to the device type. This is meant to be used for
the very first identification of the device for further probing. Any
further info is available by userspace mapping and probing.
2009-11-22 21:34:18 +02:00
Bahadir Balban
26d469fccd
Corrected some license/copyright headers in uart code.
2009-11-22 15:19:23 +02:00
Bahadir Balban
2a36465100
Updated example cmls with new symbols
2009-11-22 15:13:18 +02:00
Bahadir Balban
19b4c6c4c1
Moved capability struct to api/capability.h for userspace coherence
...
Userspace often breaks as we change the capability structure. Now
structure is under api/ so userspace can also update with changes.
2009-11-22 15:08:29 +02:00
Bahadir Balban
f3f581f2e7
Empty containers working as normal with device changes/cleanups
2009-11-22 14:42:49 +02:00
Bahadir Balban
f1efee2475
Compiles with new changes but not still in progress
2009-11-22 00:17:58 +02:00
Bahadir Balban
a3cfa2ac9b
Added a device attribute to capabilities - In progress
...
Followed the kernel physical memory reservation convention
with devices. Devices that are possessable by userspace
are created as boot-time capabilities and placed under the kernel
resources devmem_free capability list. Any userspace container
that is defined with the possession of the device would delete the
device capability making it unavailable to further requests.
2009-11-21 23:45:58 +02:00
Bahadir Balban
d826de2eea
Initial work to introduce device types and device capabilities
2009-11-21 15:00:42 +02:00
Bahadir Balban
caa7ac0764
Put cinfo array into initdata section. Added more precision in bootmem
...
cinfo array is now freed along with other init memory.
bootmem allocator memory is reduced to be completely used up.
free boot memory now prints the used free memory as well.
2009-11-21 13:35:53 +02:00
Bahadir Balban
5bff5b5fbf
Reduced maximum number of pagers to 1, and boot-time capabilities to 16
...
Each container was taking up more than 3KB of space at boot-time structures
This was due to having 4 pagers and 32 boot-time capabilities for each. This
caused the boot-time kernel size to vary a lot with capabilities. The new
numbers are optimum.
Particularly we always have a single pager per container, even though the
array structures allow more. Single pager makes container-wide privileges
and management simpler.
2009-11-21 12:31:03 +02:00
Bahadir Balban
a13120c073
Added proper checking of capability overlap for memcap_unmap
2009-11-21 12:01:41 +02:00
