Multiple jtag in XMD

Hi
We are connecting 2 usb-jtag to the same linux machine:
Bus 001 Device 025: ID 03fd:0008 Xilinx, Inc.
Bus 001 Device 002: ID 03fd:0008 Xilinx, Inc.
This is the version for xmd:
****** Xilinx Microprocessor Debugger (XMD) Engine
****** XMD v2014.4 (64-bit)
**** SW Build 1071353 on Tue Nov 18 16:44:35 MST 2014
** Copyright 1986-2014 Xilinx, Inc. All Rights Reserved.
I did:
XMD% verbose 7
Verbose Mode turned ON
0
XMD% cableesn
XMD_DEBUG - Executing Command: xrcableesn
XMD_DEBUG - Xilinx hw_server URL=TCP::3121
XMD_DEBUG - Connecting to hw_server at TCP::3121
XMD_DEBUG - Failed to connect to hw_server at TCP::3121
XMD_DEBUG - Attempting to launch hw_server at TCP::3121
XMD_DEBUG - Connected to hw_server at TCP::3121
XMD_DEBUG - Target 0: jsn-DLC10-000017df39ad01=unknown/unknown/
XMD_DEBUG - Target 1: jsn-DLC9LP-000010088e9f01=unknown/unknown/
unknown/unknown/,unknown/unknown/
I know we should use
connect *** -cable esn <ESN#> to specify the jtag to use.
But since I got "unknown" in cableesn, what should I fit in <ESN#>?
Thanks
Zhenghui Wu

Hi
I don't think it's useful:
XMD% xrjtagchain -cable port USB21
XMD_DEBUG - Executing Command: xrjtagchain -cable port USB21
XMD_DEBUG - Xilinx hw_server URL=TCP::3121
XMD_DEBUG - Connecting to hw_server at TCP::3121
XMD_DEBUG - Failed to connect to hw_server at TCP::3121
XMD_DEBUG - Attempting to launch hw_server at TCP::3121
XMD_DEBUG - Connected to hw_server at TCP::3121
XMD_DEBUG - Getting target list
XMD_DEBUG - Available targets and devices:
XMD_DEBUG - Target 0 -> jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[0]: unknown/unknown/
XMD_DEBUG - Target 1 -> jsn-DLC10-000017df39ad01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[1]: unknown/unknown/
XMD_DEBUG - Using target jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Opened Node jsn-DLC9LP-000010088e9f01 on TCP::3121
XMD_DEBUG - Successfully opened a connection to JTAG cable: jsn-DLC9LP-000010088e9f01 (6000000Hz)
XMD_DEBUG - Performing Boundary Scan
XMD_DEBUG - Device 0 -> jsn-DLC9LP-000010088e9f01-236b3093-0
XMD_DEBUG - Obtaining properties for Device 1
XMD_DEBUG - Successfully obtained properties for Device 1.
XMD_DEBUG - m_idcode = 0x236b3093
XMD_DEBUG - m_irLength = 24
XMD_DEBUG - m_deviceName = xc7v2000t
XMD_DEBUG - m_configSupported = 1
XMD_DEBUG - m_xicomConfigSupported = 1
XMD_DEBUG - m_sysMonSupported = 1
XMD_DEBUG - m_userChainCount = 4
XMD_DEBUG - Destruct JtagCable.
X devicenr 1 idcode 0x236b3093 irlength 24 partname xc7v2000t isfpga 1#$
XMD% xrjtagchain -cable port USB22
XMD_DEBUG - Executing Command: xrjtagchain -cable port USB22
XMD_DEBUG - Xilinx hw_server URL=TCP::3121
XMD_DEBUG - Connecting to hw_server at TCP::3121
XMD_DEBUG - Failed to connect to hw_server at TCP::3121
XMD_DEBUG - Attempting to launch hw_server at TCP::3121
XMD_DEBUG - Connected to hw_server at TCP::3121
XMD_DEBUG - Getting target list
XMD_DEBUG - Available targets and devices:
XMD_DEBUG - Target 0 -> jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[0]: unknown/unknown/
XMD_DEBUG - Target 1 -> jsn-DLC10-000017df39ad01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[1]: unknown/unknown/
XMD_DEBUG - Using target jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Opened Node jsn-DLC9LP-000010088e9f01 on TCP::3121
XMD_DEBUG - Successfully opened a connection to JTAG cable: jsn-DLC9LP-000010088e9f01 (6000000Hz)
XMD_DEBUG - Performing Boundary Scan
XMD_DEBUG - Device 0 -> jsn-DLC9LP-000010088e9f01-236b3093-0
XMD_DEBUG - Obtaining properties for Device 1
XMD_DEBUG - Successfully obtained properties for Device 1.
XMD_DEBUG - m_idcode = 0x236b3093
XMD_DEBUG - m_irLength = 24
XMD_DEBUG - m_deviceName = xc7v2000t
XMD_DEBUG - m_configSupported = 1
XMD_DEBUG - m_xicomConfigSupported = 1
XMD_DEBUG - m_sysMonSupported = 1
XMD_DEBUG - m_userChainCount = 4
XMD_DEBUG - Destruct JtagCable.
X devicenr 1 idcode 0x236b3093 irlength 24 partname xc7v2000t isfpga 1#$
I believe 000010088e9f01 and 000017df39ad01 are the esn for the cable.
But seems I can't use this to chose which cable I want to use.
XMD% xrjtagchain -cable esn 000017df39ad01
XMD_DEBUG - Executing Command: xrjtagchain -cable esn 000017df39ad01
XMD_DEBUG - Xilinx hw_server URL=TCP::3121
XMD_DEBUG - Connecting to hw_server at TCP::3121
XMD_DEBUG - Failed to connect to hw_server at TCP::3121
XMD_DEBUG - Attempting to launch hw_server at TCP::3121
XMD_DEBUG - Connected to hw_server at TCP::3121
XMD_DEBUG - Getting target list
XMD_DEBUG - Available targets and devices:
XMD_DEBUG - Target 0 -> jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[0]: unknown/unknown/
XMD_DEBUG - Target 1 -> jsn-DLC10-000017df39ad01
XMD_DEBUG - Getting target esn
XMD_DEBUG - ESN[1]: unknown/unknown/
XMD_DEBUG - Verifying user esn
WARNING: Invalid Cable ESN, using first available cable
XMD_DEBUG - Using target jsn-DLC9LP-000010088e9f01
XMD_DEBUG - Opened Node jsn-DLC9LP-000010088e9f01 on TCP::3121
XMD_DEBUG - Successfully opened a connection to JTAG cable: jsn-DLC9LP-000010088e9f01 (6000000Hz)
XMD_DEBUG - Performing Boundary Scan
XMD_DEBUG - Device 0 -> jsn-DLC9LP-000010088e9f01-236b3093-0
XMD_DEBUG - Obtaining properties for Device 1
XMD_DEBUG - Successfully obtained properties for Device 1.
XMD_DEBUG - m_idcode = 0x236b3093
XMD_DEBUG - m_irLength = 24
XMD_DEBUG - m_deviceName = xc7v2000t
XMD_DEBUG - m_configSupported = 1
XMD_DEBUG - m_xicomConfigSupported = 1
XMD_DEBUG - m_sysMonSupported = 1
XMD_DEBUG - m_userChainCount = 4
XMD_DEBUG - Destruct JtagCable.
X devicenr 1 idcode 0x236b3093 irlength 24 partname xc7v2000t isfpga 1#$
And it seems that the pdf file you provided is not for 2014.4?
Thanks
Zhenghui

Similar Messages

Can not Open XMD from EDK / can not find the firmware executable file

Hi,
I have two problems:
1. I finished generating the bitstream in the EDK project. But when I try to open XMD in the EDK menu by doing "Debug --> Launch XMD" The XMD doesnt shows up. While the EDK output window says "xterm -e xmd -xmp system.xmp -opt etc/xmd_microblaze_0.opt&"
does anyone know how to launch XMD from EDK?
The system I am using is Ubuntu 9.10, the EDK version is 10.1.03 and I also use USB to JTAG for programming the board, serial port from the desktop to serial port on 110T FPGA.
2. I start the XMD in terminal manually
and type the command " xmd -xmp system.xmp -opt etc/xmd_microblaze_0.opt& " in the directory where the system.xmp file located.
it shows the following error information
Xilinx Microprocessor Debug (XMD) Engine
Xilinx EDK 10.1.03 Build EDK_K_SP3.6
Copyright (c) 1995-2007 Xilinx, Inc. All rights reserved.
Overriding IP level properties ...
Address Map for Processor microblaze_0
(0000000000-0x00003fff) dlmb_cntlr     dlmb
(0000000000-0x00003fff) ilmb_cntlr     ilmb
(0x40600000-0x4060ffff) RS232_Uart_1     mb_plb
(0x40c00000-0x40c0ffff) Hard_Ethernet_MAC     mb_plb
(0x41200000-0x4120ffff) xps_intc_0     mb_plb
(0x41400000-0x4140ffff) debug_module     mb_plb
(0x74600000-0x7460ffff) DDR2_SDRAM     mb_plb
(0x80000000-0x8fffffff) DDR2_SDRAM     mb_plb
(0x80000000-0x8fffffff) DDR2_SDRAM     dxcl
(0x80000000-0x8fffffff) DDR2_SDRAM     ixcl
XMD%
ERROR:MDT - Options file (etc/xmd_microblaze_0.opt&), Not Found or Not Readable
ERROR:MDT -
-- Error in XMD Initialization. Type "exit" to Quit XMD
does anyone know how to fix the problem?
Many thanks!

Hi,
I had some trouble with XMD on Ubuntu too.
I wrote an install guide including adjustment of XMD.
You can check it out at my website: [EDK 10.1 Installation on Ubuntu 9.04 64Bit|http://wienker.org/blog/?p=78]
Cheers

Running multiple commands in command prompt

Hi
I am having the following scenario
open command prompt
open xilinx command prompt
switch to xmd console
run a set of commands
print the final output to screen
I am having the following doubts
Can system exec.vi take multiple commands as standard input?
If yes what is the delimiter?
If no what other options I have to achieve my goal
Thanks

Why not write a batch file and start that with System Exec?
Rolf Kalbermatter
CIT Engineering Netherlands
a division of Test & Measurement Solutions

Problem booting Linux from JTAG on PicoZed

Forums:
General Questions
I'm trying to boot my PicoZed board to Linux from JTAG. It's close, but I'm missing something.
I can successfully boot from SD Card with these same files, so it seems the problem lies elsewhere.
Here are the steps, I'm following:
* Set SW1 to JTAG boot mode.
* XMD Console commands
- connect arm hw
- dow zynq_fsbl.elf
- run
- fpga –f fpgabits.bit
- dow u-boot.elf
- run
* Stop u-boot from auto-booting in terminal
* XMD Console command
- stop
- dow –data image.ub 0x1000000
- con
* From u-boot type
- bootm 0x1000000
* Linux boot hangs with last lines
- [drm] Initialized drm 1.1.0 20060810
- brd: module loaded
- loop: module loaded
The next lines that Linux is supposed to print has to do with the QSPI, but I'm not sure what else to do.
When successfully booting from the SD Card, I'm using BOOT.BIN with the same FSBL, FPGA Bits and u-boot.
I'm also using the same image.ub file.
Any suggestions on what to try next?
--Jeff

The DTS is in the image.ub file. I will try the steps in the pdf and let you know if it helps.
Here is the boot information from when u-boot loads/runs the image.ub file:
reading image.ub
8639064 bytes read in 749 ms (11 MiB/s)
## Loading kernel from FIT Image at 01000000 ...
Using 'conf@1' configuration
Trying 'kernel@1' kernel subimage
Description: PetaLinux Kernel
Type: Kernel Image
Compression: gzip compressed
Data Start: 0x010000f0
Data Size: 8620511 Bytes = 8.2 MiB
Architecture: ARM
OS: Linux
Load Address: 0x00008000
Entry Point: 0x00008000
Hash algo: crc32
Hash value: 9a258a1a
Verifying Hash Integrity ... crc32+ OK
## Loading fdt from FIT Image at 01000000 ...
Using 'conf@1' configuration
Trying 'fdt@1' fdt subimage
Description: Flattened Device Tree blob
Type: Flat Device Tree
Compression: uncompressed
Data Start: 0x01838bb4
Data Size: 17256 Bytes = 16.9 KiB
Architecture: ARM
Hash algo: crc32
Hash value: a1140b0d
Verifying Hash Integrity ... crc32+ OK
Booting using the fdt blob at 0x1838bb4
Uncompressing Kernel Image ... OK
Loading Device Tree to 07ff8000, end 07fff367 ... OK
--Jeff

How do multiple family members use iTunes.? One account or multiple?

How do multiple family members use iTunes. One account right now but apps gets added to all devices and iTunes messages go to all devices. Can multiple accounts be setup and still have ability to share purchased items?

Hey Ajtt!
I have an article for you that can help inform you about using Apple IDs in a variety of ways:
Using your Apple ID for Apple services
http://support.apple.com/kb/ht4895
Using one Apple ID for iCloud and a different Apple ID for Store Purchases
You can use different Apple IDs for iCloud and Store purchases and still get all of the benefits of iCloud. Just follow these steps:
iPhone, iPad, or iPod touch:
When you first set up your device with iOS 5 or later, enter the Apple ID you want to use with iCloud. If you skipped the setup assistant, sign in to Settings > iCloud and enter the Apple ID you’d like to use with iCloud.
In Settings > iTunes and App Stores, sign in with the Apple ID you want to use for Store purchases (including iTunes in the Cloud and iTunes Match). You may need to sign out first to change the Apple ID.
Mac:
Enter the Apple ID you want to use for iCloud in Apple () menu > System Preferences > iCloud.
Enter the Apple ID you want to use for Store purchases (including iTunes in the Cloud and iTunes Match) in Store > Sign In. In iTunes 11, you can also click iTunes Store > Quick Links: Account.
PC (Windows 8):
Enter the Apple ID you want to use for iCloud in the Control Panel. To access the iCloud Control Panel, move the pointer to the upper-right corner of the screen to show the Charms bar, click the Search charm, and then click the iCloud Control Panel on the left.
Enter the Apple ID you want to use for Store purchases (including iTunes in the Cloud and iTunes Match) in iTunes. In iTunes 10, select Store > Sign In. In iTunes 11, click iTunes Store > Quick Links: Account.
PC (Windows 7 and Vista):
Enter the Apple ID you want to use for iCloud in Control Panel > Network and Internet > iCloud.
Enter the Apple ID you want to use for Store purchases (including iTunes in the Cloud and iTunes Match) in iTunes 10 in Store > Sign In. In iTunes 11, click iTunes Store > Quick Links: Account.
Note: Once a device or computer is associated with your Apple ID for your iTunes Store account, you cannot associate that device or computer with another Apple ID for 90 days. Learn more about associating a device or computer to your Apple ID.
Thanks for using the Apple Support Communities!
Cheers,
Braden

How do I move multiple dimension members up one level in planning?

I can't figure out how to select multiple members.
I hope I don't have to cut and paste them individually.

ODI maybe ?
Cheers
John
http://john-goodwin.blogspot.com/

How can I setup a mail-specific passcode/restriction on iPad used by multiple family members?

How can I setup a mail-specific passcode/restriction on iPad used by multiple family members?
Have an Exchange mail account setup and accessible in my mail on iPad... however my kids use it and i would like to restrict them from accessing this specific portion of the device. I tried viewing restriction options and do not see that i can apply a restriction specifically to Mail. Thanks for your help.

Not a feature of iOS. Check the AppStore to see if there are other
mail apps that allow passcode protection.
Or use Safari to log onto your email via a web-based interface and
enter your credentials each time. A bit slower, but the kids will
not know the details to login.

How can a family with multiple existing accounts use Home Sharing?

I'd like to use the new Home Sharing feature, but it appears to be restricted to families in which all of the family members share a single user account.
We already have separate accounts for each family member. Is there some way for us to use Home Sharing without abandoning most of our existing accounts, along with all of the purchases made by those accounts? I don't think anyone in this situation would be willing to do that.

Eh. I am not too sure since I have not messed with it much but I do have a great deal of experience with multiple accounts. Each computer can be authorized for multiple accounts. As can iPods. iPods can sync songs/videos/apps from multiple accounts as long as the computer is authorized with them. What I have set up here, is I buy my stuff I want, my parents buy what they want and so do my brothers. When my bro gets something I want I just move it to my computer. That way all our accounts are separate, but if there is something I want I can get it. Also, since the music no longer has DRM, it won't matter. It will play on any computer. What you should see is if you can just do the shared library with multiple accounts. Then if you don't have videos or such, you can get apps or music. Hope this helps!

How can multiple users use the same Creative Cloud Individual on one single-machine?

We have one shared graphics workstation, which is infrequently in use by different people - therefore we bought a single-workstation license (which we were referred to "Creative Cloud Individual"). In the FAQs it says it installs locally, but whenever a user different from the installing adminstrator logs in, he is forced to use the trial.
Is there a way to make the local installation usable on that single machine for multiple users?
Thanks in advance for your reply

Serenatasystems do the other users not have administrator access? What happens if they sign in using the Adobe ID tied to your Creative Cloud subscription? Do your Adobe Creative applications then exit trial mode?

How can I use multiple ipad's on one account without sharing individuals personal email accounts?

Is it possible to have multiple ipads on one account and share info, but also allow the individual users to have personal email that is not seen on the other ipad's? We have all ipads on same icloud account because we all need to see the same ical. It seems like that's the problem. If it IS related to icloud then if we have separate icloud accounts, how would we share the main ical otherwise? Sharing the ical is very important for this business so everyone can access the daily schedule. Of course each user still wants to have private email.
Hope this wasn't too confusing!
Thanks!
Doreen

you could set up the main icloud itunes acount for ical and not have in setup on the devices
and share the calandar with the other itunes accounts on the devices
or only have it on one device
devices have the users indervidual itunes icloud setup
they should be able to access the shared "main" itunes icloud ical account once it's shared
http://howto.cnet.com/8301-11310_39-57542557-285/three-methods-for-sharing-an-ic loud-calendar/
if the devices are company owned you could go futher and setup find my iphone on the main itunes account
and not on the user icloud accounts

What happens on iCloud (ex. contacts) when multiple family members use the same Apple ID?

What happens on iCloud when multiple family members use the same Apple ID? For example if we all choose to use iCloud for contacts, are they all merged together? We use the same Apple ID so we can use find my iPhone to keep track of the whole family.

Of course if you are both connected to the same iCloud account you have the same contacts - what did you expect?. The contacts live on the server and are read from there by the devices; so as you've both managed to sync your contacts up to iCloud they are now inextricably mixed. You can only delete your contacts by deleting individual ones, and doing that will delete them from your phone as well.
You can only unravel this by
1. In the iCloud contacts page at http://icloud.com, select all the contacts, click on the cogwheel icon at bottom left and choose 'Export vCard'.
2. Sign out of System Preferences>iCloud
3. Create a new Apple ID and open a new iCloud account with it for your own use.
4. Import the vCard back into the iCloud contacts page.
5. Go to http://icloud.com and sign in with the original ID. This is now his ID. Work through the contacts individually deleting the ones you don't want him to have. When done sign out and advise him to change his password.
6. Go to the new iCloud account and delete his contacts individually.
Of course if you have also been syncing calendars and using the same email address there are problems with doing this.

ICloud with multiple family members sharing one iTunes account?

How will iCloud work for the case where multiple family members share an iTunes account but each has his/her own iPhone/iPad/PC?
Will iCloud replicate content based on email address, unique Apple ID, iTunes account, or?? If iTunes, we could have trouble as three of us share our iTunes account (started when our daughter was young and continued for simplicity).

Keep one Apple ID for iTunes purchases (apps, music, etc.) for all family members on the iTunes Store and use different Apple IDs for each iCloud user. That worked for me.

HT204053 I have multiple family members using one apple id account and all of each others information is going onto each others phones/how do i stop this?

I have multiple family members using one apple id and all of our data is going onto each others phones/how do i stop this?

Each person needs to have their own separate Apple ID along with their own separate computer user account and iTunes Library.

Multiple ipods belonging to multiple family members on one computer

How do I keep my family's libraries separate on one computer. I have been checking and unchecking songs each time I sync one of my children's ipods. It is driving me nuts. There has got to be a better way. My husbands library alone so far is 1300 songs. HELP!

When the iPods belong to different people, there are basically three ways of using multiple iPods on a computer and these involve:
a) Sharing a single iTunes library
b) Creating Multiple Libraries in a single user account
c) Creating multiple user accounts.
Note: When you are sharing an iTunes library, you don't have to set each iPod to update in the same manner, you can mix and match from the options below as each iPod has it's own update settings
Sharing a Library and/or User Account
If you want to share the one library, you can set either or all of the iPods so that they only get updated with only certain playlists (you can update from more than one if you wish): iPod - Syncing Music
Choosing the update option "Sync Music - Selected playlists" allows you to create a playlist specifically for the iPod and drag the tracks you want into it. If you tire of the list and want to change it, you just add or remove the songs you don't want. The ones you take out out remain in the library to be used some other time if you choose. You can read more about playlists at these links:
iTunes: Creating playlists of your favorite songs
How to create a Smart Playlist with iTunes
Or you can choose to update any or all of the iPods manually and just drag whatever content you want to them: Managing content manually on iPod and iPhone
Loading the iPod shuffle differs slightly but it can still be used with the others, for details have a look at this page: Adding songs to iPod shuffle - Windows
Multiple Libraries
It's also possible to have multiple libraries in a single account. To create or access a second (or more) library, hold down the Shift key in Windows when launching iTunes 7. In the resulting dialogue you will get the option to create a new library or navigate to the other Library.
Note: You can only have one Library open at a time and iTunes will default to the last library opened if you don't use the keyboard command to choose one. This can prove tricky when using multiple iPods, if you don't use the keyboard command you can risk syncing to the wrong library: Using multiple iTunes libraries -Windows
Separate User Accounts
Another option is to create a separate User account for each person on your PC or Mac. Different accounts by definition would give you completely separate libraries. Each account has it's own iTunes folder, Library and iTunes Music folder and you load it with CDs etc just as you did with your original one. The iPod can be set to update however the owner chooses, sync all, manual or sync specific playlists
I don't use Windows so I can't give you a step by step on that one, however I can point you to another web page which should help you out. You can read about Windows user accounts here:
Using Windows XP User Accounts
Create A New User Account In Vista

Query help: query to return column that represents multiple rows

I have a table with a name and location column. The same name can occur multiple times with any arbitrary location, i.e. duplicates are allowed.
I need a query to find all names that occur in both of two separate locations.
For example,
bob usa
bob mexico
dot mexico
dot europe
hal usa
hal europe
sal usa
sal mexico
The query in question, if given the locations usa and mexico, would return bob and sal.
Thanks for any help or advice,
-=beeky

How about this?
SELECT NAME
FROM    <LOCATIONS_TABLE>
WHERE   LOCATION IN ('usa','mexico')
GROUP BY NAME
HAVING COUNT(DISTINCT LOCATION) >= 2Results:
SQL> WITH person_locations AS
2 (
3          SELECT 'bob' AS NAME, 'USA' AS LOCATION FROM DUAL UNION ALL
4          SELECT 'bob' AS NAME, 'Mexico' AS LOCATION FROM DUAL UNION ALL
5          SELECT 'dot' AS NAME, 'Mexico' AS LOCATION FROM DUAL UNION ALL
6          SELECT 'dot' AS NAME, 'Europe' AS LOCATION FROM DUAL UNION ALL
7          SELECT 'hal' AS NAME, 'USA' AS LOCATION FROM DUAL UNION ALL
8          SELECT 'hal' AS NAME, 'Europe' AS LOCATION FROM DUAL UNION ALL
9          SELECT 'sal' AS NAME, 'USA' AS LOCATION FROM DUAL UNION ALL
10          SELECT 'sal' AS NAME, 'Mexico' AS LOCATION FROM DUAL
11 )
12 SELECT NAME
13 FROM    person_locations
14 WHERE   LOCATION IN ('USA','Mexico')
15 GROUP BY NAME
16 HAVING COUNT(DISTINCT LOCATION) >= 2
17 /
NAM
bob
salHTH!
Edited by: Centinul on Oct 15, 2009 2:25 PM
Added sample results.

Multiple jtag in XMD

Similar Messages

Maybe you are looking for